Partial-Order Methods for the Verification of Concurrent Systems Patrice Godefro
58,84 €
Titel: Partial-Order Methods for the Verification of Concurrent Systems, Untertitel: An Approach to the State-Explosion Problem, Einband: Taschenbuch, Autor: Patrice Godefroid, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 156, Maße: 235x155x9 mm, Gewicht: 248 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus EDV / Theorie / Software-Entw. / Allgemeines Verifikation - verifizieren Modellprüfung Partial-Order Methods Partialordnungsmethoden Program Verification Programmverifikation Protocol Verification Protokollverifikation Verfication Algorithms Verifikationsalgorithmen algorithms model checking requirements sets verification.
Jetzt bei Ebay:
