Free delivery for orders over 69.99€

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

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663942
Price: 53.81 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.81 €

105.23 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kudy do pohody Karel Nešpor

Audio CD

6.85 € 13.40 лв

Cocorico Le Survivant Littéraire Lsl

Paperback

8.84 € 17.30 лв

Puzzle 3x48 Peppa Pig

Jigsaw puzzle

7.31 € 14.30 лв

Hisskillen i Lissabon Cupido

MP3

3.37 € 6.59 лв

EL ANGEL TRISTE PEREZ MERINERO

Paperback

25.72 € 50.31 лв

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

Paperback

55.29 € 108.14 лв

Ste. Roche Henriette Von Paalzow

Paperback

18.67 € 36.51 лв

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.13 € 11.99 лв

Lieblingsschlager

Audio CD

17.49 € 34.20 лв

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.