Set My Store
menu
keyboard_arrow_down
Cart
1 - 4 of 4 forGregor Von Bochmann
  • Relevance
  • Bestselling
  • Release Date
  • Price - low to high
  • Price - high to low
Formal Description Techniques VIII|Gregor Von Bochmann
Formal Description Techniques VIII
(Hardcover)
by Gregor Von Bochmann, Rachida Dssouli, Omar Rafiq
Online: In Stock
$219.99
9780412732706
January 1996
Computer Aided Verification|Gregor Von Bochmann
Computer Aided Verification : Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
(Paperback)
by Gregor Von Bochmann, David K. Probst
Online: In Stock
$54.99
9783540564966
March 1993
Testing of Communicating Systems|Hasan Ural
Testing of Communicating Systems : Tools and Techniques. Ifip Tc6/Wg6.1 13th International Conference on Testing of Communicating Systems (Testcom 2000
(Hardcover)
by Hasan Ural, Robert L. Probert, Gregor Von Bochmann
Online: In Stock
$219.99
9780792379218
August 2000
Testing of Communicating Systems|Hasan Ural
Testing of Communicating Systems : Tools and Techniques. Ifip Tc6/Wg6.1 13th International Conference on Testing of Communicating Systems (Testcom 2000
(Paperback)
by Hasan Ural, Robert L. Probert, Gregor Von Bochmann
Online: In Stock
$219.99
9781475710168
July 2012