Pierre McKenzie

Beliebte Artikel von Pierre McKenzie

Alle Angebote anzeigen

Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.

Artikelpreise ab

EUR 12,11

6 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch