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: 01568802
Price: 19870 HUF
Availability: InStock
Author: Dragan Bosnacki
ISBN: 9783540733690

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki

Stefan Edelkamp

Language

English

Book Paperback

Libristo code: 01568802

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2007

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

Libristo code: 01568802

136 b

19 870 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Grundlinien der Philosophie D. Fr. Ast

Paperback

17 692 Ft

Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka

Paperback

12 717 Ft

Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet

Paperback

3 585 Ft

Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos

Paperback

13 811 Ft

LES PEINTURES Beeckman

Paperback

4 038 Ft

Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske

Paperback

5 270 Ft

Ötanazi Okulu 1 Ciltli

Paperback

7 725 Ft

Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer

Paperback

9 072 Ft

Pasta Masterclass Wiebke Krabbe

Hardback

9 833 Ft

Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus

Paperback

15 246 Ft

Krevní banka Tanya Huffová

Paperback

2 898 Ft

Das Quiz für Besserwisser I ab 10 Jahren

Hardback

2 487 Ft

LA SABIDURíA DE LAS AVES TIM BIRKHEAD

Paperback

11 647 Ft

Senzibil Markéta Pilátová

Hardback

4 245 Ft

Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux

Paperback

9 907 Ft

Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi

Paperback

6 174 Ft

Premium Touren. Ein schöner Tag wandern Ulrike Poller

Paperback

6 294 Ft

La historia de Ana Zeppelin: Tomo 1 Giselle Murillo

Paperback

3 382 Ft

Raphael und Pinturicchio in Siena August Schmarsow

Paperback

540 Ft

Sally y la maldición del rubí PULLMAN

Paperback

2 838 Ft

La psicología en la escuela Delval

Paperback

6 483 Ft

Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek

Paperback

20 414 Ft

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.