Gregor Von Bochmann – författare & böcker | Akademibokhandeln

Gregor von Bochmann – författare

Visar alla böcker från författaren Gregor von Bochmann.

4 produkter

Kategorier

4 produkter

Formal Description Techniques VIII
AvGregor von Bochmann,Rachida Dssoulim. fl.
Inbunden, Engelska, 1996
2 859 kr
Skickas inom 10-15 vardagar
Testing of Communicating Systems
Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
AvGregor Bochmann,Ifip Tc6/Wg6 1 International Conferencem. fl.
Inbunden, Engelska, 2000
2 859 kr
Skickas inom 10-15 vardagar
Testing of Communicating Systems
Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
AvHasan Ural,Robert L. Probertm. fl.
Häftad, Engelska, 2012
2 859 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
AvGregor von Bochmann,David K. Probst
Häftad, Engelska, 1993
739 kr
Skickas inom 10-15 vardagar