PakCat catalogue record

Mathematical logic and programming languages

By edited by C.A.R. Hoare and J.C. Shepherdson

Bibliographic details

ISBN
0135614651
Publisher
Prentice/Hall International
Publication place
Englewood Cliffs, N.J.
Publication year
1985
Material type
Book
Physical description
184 p.

Additional authors

Hoare, C. A. R. Shepherdson, J. C.

Subjects

Programming languages (Electronic computers), Logic, Symbolic and mathematical.

Related catalogue records

Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java Buchanan, William Interactive computer graphics Giloi, Wolfgang K. Programming languages Tucker, Allen Schaum's outline of theory and problems of computers and programming Scheid, Francis Programming languages Pratt, Terrence W. Programming languages Pratt, Terrence W. Programming languages Sethi, Ravi Programming language concepts Ghezzi, Carlo