Unfoldings - A Partial-Order Approach to Model Checking
von Javier Esparza Verlag: Springer Berlin,
2008 2008. Gepflegter, sauberer Zustand. 4160485/1
Unfoldings - A Partial-Order Approach to Model Checking
von Javier Esparza Verlag: Springer Berlin,
2008 2008. Gepflegter, sauberer Zustand. 4160485/2
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science.…
von Javier Esparza Verlag: Springer,
Auflage: 2008 27.03.2008. 23,6 x 15,8 x 1,6 cm, Gebundene Ausgabe 172 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek /
Unfoldings. - A Partial-Order Approach to Model Checking.
von Esparza Javier Verlag: Berlin, Springer Berlin Heidelberg,
2008. Hardcover 172 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783540774259
Unfoldings - A Partial-Order Approach to Model Checking
von Keijo Heljanko, Javier Esparza
2008 Gebunden, 188 Seiten, 241mm x 160mm x 15mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasModel checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed system…
- ISBN / EAN
- 9783540774259
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!