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.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

María del Mar Gallardo

Pedro Merino

Language

English

Book Paperback

Libristo code: 19534895

Publishers Springer International Publishing AG, June 2018

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

Libristo code: 19534895

132 b

54.04 €

105.69 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Rüyalar ve Uyanislar Defteri Latife Tekin

Paperback

14.80 € 28.94 лв

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

Paperback

37.51 € 73.37 лв

naanallada naanu s.g.shivashankar

Paperback

15.87 € 31.04 лв

Plastic Death Glass Beach

Audio CD

22.91 € 44.80 лв

Gesammelte Werke Ernst Von Wildenbruch

Paperback

60.82 € 118.95 лв

Das Erbe Martin Wieland

Paperback

21.62 € 42.29 лв

Guida al cinema noir Stefano Di Marino

Paperback

50.98 € 99.70 лв

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

Paperback

16.07 € 31.44 лв

Elaboración de vinos espumosos y cavas Madrid Vicente

Paperback

39.60 € 77.46 лв

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Book

Paperback

25.78 € 50.43 лв

Desserts faciles pour débutants - 100 recettes à dévorer

Paperback

6.98 € 13.65 лв

Adelaïde la licorne et les enfants du monde - Ingrid et le troupeau de rennes Colette Becuzzi

Paperback

7.60 € 14.86 лв

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

Paperback

46.79 € 91.52 лв

Anders, Korbonski, Sieniewicz... Ziętara Paweł

Paperback

10.68 € 20.89 лв

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.