Catalogo · 9780902928336
Algebraic specification and proof of properties of communicating sequential processes
ISBN 9780902928336
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
Mathematical logic and programming languages
C. A. R. Hoare
Verba volant · scripta manent