David K. Probst - Böcker

Visar alla böcker från författaren David K. Probst.

1 produkt

Kategorier

1 produkt

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

709 kr

Skickas inom 10-15 vardagar