Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

136 b

20 515 Ft

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

5 622 Ft

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

Paperback

14 260 Ft

naanallada naanu s.g.shivashankar

Paperback

6 151 Ft

Plastic Death Glass Beach

Audio CD

8 657 Ft

Gesammelte Werke Ernst Von Wildenbruch

Paperback

23 131 Ft

Das Erbe Martin Wieland

Paperback

8 233 Ft

Guida al cinema noir Stefano Di Marino

Paperback

19 353 Ft

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

Paperback

5 712 Ft

Elaboración de vinos espumosos y cavas Madrid Vicente

Paperback

14 036 Ft

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

Paperback

9 395 Ft

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

Paperback

2 778 Ft

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

Paperback

2 873 Ft

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

Paperback

17 800 Ft

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

Paperback

3 383 Ft

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.