Thomas Henzinger - Böcker

Visar alla böcker från författaren Thomas Henzinger.
1 produkt
Rajeev Alur, Thomas Henzinger - Computer Aided Verification, Häftad
Del 1102 - Lecture Notes in Computer Science

Computer Aided Verification

Av Rajeev Alur, Thomas Henzinger

Häftad, Engelska, 1996

739 kr

Skickas inom 7-10 vardagar