Thomas Henzinger - Böcker

Visar alla böcker från författaren Thomas Henzinger.

1 produkt

Kategorier

1 produkt

Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Av Rajeev Alur, Thomas Henzinger

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar