Patrice Godefroid
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings - Lecture Notes in Computer Science Patrice Godefroid 2005 edition

Name: Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings - Lecture Notes in Computer Science
Price: 63.99 EUR
Availability: OutOfStock
Author: Patrice Godefroid

Cena

€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 19. aug. - . gada 2. sept.

Saņemiet paziņojumus par jauniem Patrice Godefroid izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings - Lecture Notes in Computer Science

Patrice Godefroid

2005 edition

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.

292 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2005. gada 9. augusts
ISBN13	9783540281955
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	292
Izmēri	155 × 235 × 16 mm · 449 g
Valoda	Vācu
Redaktors	Godefroid, Patrick