Catalogo · 9780135614655
Mathematical logic and programming languages
ISBN 9780135614655
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Communicating sequential processes
C. A. R. Hoare
Software and systems safety
M. Broy, Christian Leuxner, C. A. R. Hoare
Unifying theories of programming
C. A. R. Hoare
The weakest prespecification
C. A. R. Hoare
The Mathematics of Programming
C. A. R. Hoare
Structured Programming
O. Dahl, Edsger Dijkstra, C. A. R. Hoare
Software system reliability and security
M. Broy, C. A. R. Hoare
Scientific applications of multiprocessors
Elliott, R. J., C. A. R. Hoare
Operating systems techniques
International Seminar on Operating Systems Techniques (1971 Queen's University of Belfast), International Seminar on Operating Systems Techniques (1971 : Queen's University of Belfast), Ronald H. Perrott, C. A. R. Hoare
Occam 2 Reference Manual
C. A. R. Hoare
Mechanized reasoning and hardware design
C. A. R. Hoare
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent