Gregor von Bochmann - Böcker

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

4 produkter

Kategorier

4 produkter

Formal Description Techniques VIII

Av Gregor von Bochmann, Rachida Dssouli m. fl

Inbunden, Engelska, 1996

2 719 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

Av Gregor Bochmann, Ifip Tc6/Wg6 1 International Conference m. fl

Inbunden, Engelska, 2000

2 719 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

Av Hasan Ural, Robert L. Probert m. fl

Häftad, Engelska, 2012

2 719 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Av Gregor von Bochmann, David K. Probst m. fl

Häftad, Engelska, 1993

699 kr

Skickas inom 10-15 vardagar