Hoppa till sidans huvudinnehåll

Gregor von Bochmann – författare

Visar alla böcker från författaren .
4 produkter
Gregor von Bochmann, Rachida Dssouli, Omar Rafiq - Formal Description Techniques VIII, Inbunden

Formal Description Techniques VIII

AvGregor von Bochmann,Rachida Dssoulim. fl.

Inbunden, Engelska, 1996

2 809 kr

Skickas inom 10-15 vardagar

Gregor Bochmann, Ifip Tc6/Wg6 1 International Conference, Hasan Ural, Robert L. Probert, Gregor von Bochmann - Testing of Communicating Systems, Inbunden

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 809 kr

Skickas inom 10-15 vardagar

Hasan Ural, Robert L. Probert, Gregor von Bochmann - Testing of Communicating Systems, Häftad

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 809 kr

Skickas inom 10-15 vardagar

Gregor von Bochmann, David K. Probst - Computer Aided Verification, Häftad

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

729 kr

Skickas inom 10-15 vardagar