Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663942
Price: 53.79 EUR
Availability: InStock
Author: Ezio Bartocci
ISBN: 9783642391750

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Ezio Bartocci

C. R. Ramakrishnan

Language

English

Book Paperback

Libristo code: 01663942

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2013

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Full description

Libristo code: 01663942

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Ste. Roche Henriette Von Paalzow

Paperback

19.80 €

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

Paperback

55.29 €

Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira

Paperback

6.49 €

Hisskillen i Lissabon Cupido

MP3

3.29 €

Puzzle 3x48 Peppa Pig

Jigsaw puzzle

6.79 €

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.