Formal Equivalence Checking & Design Debugging
Springer US (9781461376064) | Checking and Design Debugging
Preis von (4 Angebote)176.94 EUR
Weitere Informationen
Springer US (9781461376064) | Checking and Design Debugging
(9781349456741)
Springer-Verlag GmbH (9783319494500 / 27652495) | Munoz-Gama Conformance Checking and, Conformance Checking and
(9783540208037 / Illustrations)
(9783662491218 / 123 colour illustrations, biography) | And Abstract
(9783319325811 / 75 black & white illustrations, biograph) | Model Checking Software