Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings - Lecture Notes in Computer Science - D Bosnacki - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540434771 - March 27, 2002
In case cover and title do not match, the title is correct

D Bosnacki
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings - Lecture Notes in Computer Science 2002 edition

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems.

272 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 27, 2002
ISBN13 9783540434771
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 262
Dimensions 156 × 234 × 14 mm   ·   390 g
Language German  
Editor Bosnacki, Dragan
Editor Leue, Stefan

Mere med samme udgiver

See all of D Bosnacki ( e.g. Paperback Book )