Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science - Thomas Ball - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540401179 - 28. aprila 2003
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Thomas Ball
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 2. - 10. nov
Prejemajte obvestila o novih izdajah izvajalca Thomas Ball

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 book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions.

249 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 28. aprila 2003
ISBN13 9783540401179
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 241
Dimenzije 155 × 233 × 13 mm   ·   385 g
Jezik Nemščina  
Urednik Ball, Thomas
Urednik Rajamani, Sriram K.

Več od Thomas Ball

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Thomas Ball