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, Berlin
SKU: 01563494
Price: 19870 HUF
Availability: InStock
Author: Matthew Dwyer
ISBN: 9783540421245

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Matthew Dwyer

Language

English

Book Paperback

Libristo code: 01563494

Publishers Springer, Berlin, November 2000

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Full description

Libristo code: 01563494

136 b

19 870 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh

Paperback

18 965 Ft

Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue

Adobe ePub DRM

5 270 Ft

Vláček a jeho kamarádi

Board book

4 421 Ft

Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora

Paperback

2 210 Ft

Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh

Paperback

8 108 Ft

GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová

Cards

7 023 Ft

Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA

Paperback

15 569 Ft

Tokos Gianna Hedderich

Paperback

13 230 Ft

MI Jevgenyij Zamjatyin

Hardback

4 263 Ft

Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo

Calendar

28 342 Ft

G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio

Audio vinyl

14 120 Ft

Číňan Henning Mankell

Hardback

4 421 Ft

Shopkins Cicibiciler - Mutsuz Kurabi

Paperback

8 108 Ft

Český jazyk pro 3. ročník SOŠ Čechová

Paperback

2 986 Ft

Postdemokratie Colin Crouch

Paperback

4 227 Ft

Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski

Paperback

6 262 Ft

Treasurers of the Snow Patricia St John

Paperback

5 588 Ft

La casa de Tomasa Phyllis Root

Paperback

7 974 Ft

Aguas arriba de mi madre Arnáiz

Paperback

8 149 Ft

Fiat 850. 1964-1973 Alessandro Sannia

Paperback

8 020 Ft

Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux

Paperback

8 034 Ft

Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles

Paperback

4 139 Ft

La bible de l'homéopathie et des traitements naturels Alain Paul

Paperback

10 124 Ft

Mafiánsky gang Sýkorovcov + DVD Gustáv Murín

Hardback

3 982 Ft

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.