von Bochmann, Gregor books & textbook
Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, 663)
Bochmann, Gregor von Probst, David K.
Springer /1993-03-30 Paperback / 435 Pages
isbn-10: 3540564969 / isbn-13: 9783540564966
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom ... in Information and Communication Technology)
Ural, Hasan Probert, Robert L. von Bochmann, Gregor
Springer /2012-07-24 Paperback / 344 Pages
isbn-10: 147571016X / isbn-13: 9781475710168
Protocol Specification, Testing and Verification, VI (Proceedings of the Ifip Wg6.1, 6th Intl Workshop, Montreal, Quebec, Canada, June 10-13, 1986
G. V. (editor) IFIP WG 6.1 International Workshop Staff; Sarikaya, B.; Bochmann Gregor V. Bochmann
Elsevier Science & Technology Books /1987-01-01 Hardcover / 427 Pages
isbn-10: 0444701265 / isbn-13: 9780444701268
Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology)
von Bochmann, Gregor Dssouli, Rachida Rafiq, Omar
Springer /1996-01-31 Hardcover / 466 Pages
isbn-10: 041273270X / isbn-13: 9780412732706
Concepts for distributed systems design
Springer-Verlag /1983T Hardcover / 259 Pages
isbn-10: 0387120491 / isbn-13: 9780387120492
