Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science - Matthew Dwyer - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540421245 - 2. maja 2001
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Matthew Dwyer
Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings - Lecture Notes in Computer Science

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 1. - 9. okt
Prejemajte obvestila o novih izdajah izvajalca Matthew Dwyer

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

This work constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

328 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 2. maja 2001
ISBN13 9783540421245
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 328
Dimenzije 156 × 234 × 17 mm   ·   467 g
Jezik Nemščina  
Urednik Dwyer, Matthew B.

Več od istega **izdajatelja**

Ogled vseh Matthew Dwyer