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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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

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

136 b

19 972 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ste. Roche Henriette Von Paalzow

Paperback

6 943 Ft

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

Paperback

20 519 Ft

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

2 384 Ft

Hisskillen i Lissabon Cupido

MP3

1 132 Ft

Puzzle 3x48 Peppa Pig

Jigsaw puzzle

2 310 Ft

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.