Finkel, Alain
Beliebte Artikel von Finkel, Alain
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
6 Angebote anzeigenEUR 12,47
-
Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science Wurzburg, Germany, February 25-27, 1993 : Proceedings (Lecture Notes in Computer Science)
Enjalbert, P.; Finkel, A.
Artikelpreise ab
2 Angebote anzeigenEUR 130,56
Entdecken Sie auch
Neu
