Thomas Henzinger - Böcker
Visar alla böcker från författaren Thomas Henzinger.
1 produkt
1 produkt
Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Häftad, Engelska, 1996
709 kr
Skickas inom 10-15 vardagar