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

AvGregor von Bochmann,David K. Probst m. fl.

Häftad, Engelska, 1993

689 kr

Skickas inom 10-15 vardagar