Catalogo · 9780136293125
Occam 2 Reference Manual
ISBN 9780136293125
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
Mechanized reasoning and hardware design
C. A. R. Hoare
Mathematical logic and programming languages
C. A. R. Hoare
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent