title | media type | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|---|
Communicating sequential processes | Hardcover | 978-0-13-153271-7 | 1985 | ||
Communicating Sequential Processes | Paperback | 978-0-13-153289-2 | 1985 | ||
Essays in Computing Science | Hardcover | 978-0-13-284027-9 | 1989 | C. B. Jones | |
Mathematical Logic and Programming Languages | " | 978-0-13-561465-5 | 1985 | ||
Mechanized Reasoning and Hardware Design | " | 978-0-13-572405-7 | 1992 | Michael J. C. Gordan | |
Occam 2 Reference Manual: Inmos Limited | Paperback | 978-0-13-629312-5 | 1988 | ||
Operating Systems Techniques: Proceedings | Hardcover | 978-0-12-350650-4 | 1973 | International Seminar on Operating Systems Techniques (1971 : Queen's University of Belfast) · Ronald H. Perrott · Ltd International Computers | |
Programming and Mathematical Method: International Summer School | Gebunden | 978-3-540-55558-2 | 1992 | E.W. Dijkstra · F.L. Bauer · Manfred Broy | |
Structured Programming | Hardcover | 978-0-12-200550-3 | 1972 | Edsger Wybe Dijkstra · Ole-Johan Dahl | |
The Mathematics of Programming | " | 978-0-19-951550-9 | 1986 | ||
Unifying Theories of Programming | " | 978-0-13-458761-5 | 1998 | He Jifeng | |
Vdm '90: Vdm and Z-Formal Methods in Software Development | Paperback | 978-0-387-52513-6 | 1990 | D. Bjorner | |
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | " | 978-3-662-18631-2 | 2014 | Dines Bjørner · Hans Langmaack | |
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | Taschenbuch | 978-3-540-52513-4 | 2008 | Hans Langmaack · Dines Bjorner |
A. H. · A. Hoare · A. R. · C.A. · C.A. Hoare · C A R · C.H. · C.R. · Charles Antony Richard Hoare · R. H.
Academic Press · Oxford University Press · Prentice Hall · Springer