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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 01656755
Price: 22264 HUF
Availability: InStock
Author: Jaco C. van de Pol
ISBN: 9783642161636

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco C. van de Pol

Michael Weber

Language

English

Book Paperback

Libristo code: 01656755

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Full description

Libristo code: 01656755

152 b

22 264 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Star Wars Hidden Empire T02

Paperback

7 682 Ft

Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo

Calendar

20 840 Ft

Be Kind (Nepali-English) Livia Lemgruber

Paperback

6 669 Ft

Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs

Diary

3 841 Ft

Den Libanon lieben lernen Laura Ziegler

Paperback

2 856 Ft

Diamante Nero Victoria Quinn

Paperback

6 036 Ft

Die besten Aufstriche selbst gemacht Charly Till

Paperback

3 355 Ft

Textanfänge Ulrike Krieg-Holz

Paperback

18 173 Ft

Raketa Hravá kniha pro děti collegium

Paperback

4 543 Ft

Nach dem bewaffneten Kampf Angelika Holderberg

Paperback

3 707 Ft

Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier

Paperback

5 218 Ft

Uzniki Razuma Tat'yana Volkova

Paperback

20 327 Ft

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.