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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Model Checking Software

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

142 b

58.67 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

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

Calendar

54.31 €

In den Tropen - Ein Blick in die tropische Klimazone (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender Calvendo

Calendar

18.74 €

Odnaleziony Coben Harlan

Paperback

9.21 €

Star Wars Hidden Empire T02

Paperback

21.58 €

JANE GOODALL

Hardback

27.15 €

Fame and Fortune TM Smith

Adobe ePub DRM

5.46 €

PUZZLE 1000 Witraż Zwierzęta 10957

Jigsaw puzzle

6.48 €

Be Kind (Nepali-English) Livia Lemgruber

Paperback

17.42 €

Las Grandes Batallas Navales 10. La Hougue JEAN-YVES DELITTE

Paperback

18.43 €

Shame - 368000 km pour découvrir... mon histoire volée par MK2 production Wild

Paperback

18.23 €

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

Diary

10.63 €

Den Libanon lieben lernen Laura Ziegler

Paperback

7.39 €

Sofiin svět Jostein Gaarder

Audio CD

12.66 €

Diamante Nero Victoria Quinn

Paperback

15.80 €

Die besten Aufstriche selbst gemacht Charly Till

Paperback

8.60 €

Textanfänge Ulrike Krieg-Holz

Paperback

47.12 €

Raketa Hravá kniha pro děti collegium

Paperback

12.86 €

Kvalita software Petr Roudenský

Paperback

8.10 €

El estado de las gastronomías González de Heredia Garaygordobil

Paperback

24.92 €

Nach dem bewaffneten Kampf Angelika Holderberg

Paperback

9.62 €

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

Paperback

13.16 €

Uzniki Razuma Tat'yana Volkova

Paperback

52.49 €

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.