Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings - Lecture Notes in Computer Science - K Havelund - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540410300 - 21. avgusta 2000
Če se naslovnica in naslov ne ujemata, je naslov pravilen

K Havelund
Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings - Lecture Notes in Computer Science

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 5. - 13. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca K Havelund

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. This text is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems.

346 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 21. avgusta 2000
ISBN13 9783540410300
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 346
Dimenzije 155 × 233 × 18 mm   ·   503 g
Jezik Nemščina  
Urednik Havelund, Klaus
Urednik Penix, John
Urednik Visser, Willem

Več od istega **izdajatelja**

Ogled vseh K Havelund