.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Model Checking Software
Dragan Bosnacki
€ 67.01
FREE Delivery in Ireland
Description for Model Checking Software
Paperback. Constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007. This book features papers that are organized in topical sections on directed model checking. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 295 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 424.
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
295
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
285
Place of Publication
Berlin, Germany
ISBN
9783540733690
SKU
V9783540733690
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Model Checking Software