Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking Software

Name: Model Checking Software
Brand: Springer, Berlin
SKU: 01563494
Price: 53.79 EUR
Availability: InStock
Author: Matthew Dwyer
ISBN: 9783540421245

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

Matthew Dwyer

Lingua

Inglese

Libro In brossura

Codice Libristo: 01563494

Casa editrice Springer, Berlin, novembre 2000

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

Codice Libristo: 01563494

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

51.19 €

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

Adobe ePub DRM

15.39 €

Vláček a jeho kamarádi

Leporello

12.99 €

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

In brossura

6.19 €

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

In brossura

21.99 €

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

Carte

20.79 €

Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA

In brossura

41.99 €

Tokos Gianna Hedderich

In brossura

35.89 €

MI Jevgenyij Zamjatyin

Rigido

11.49 €

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

Calendario

76.89 €

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

Vinile audio

39.39 €

Číňan Henning Mankell

Rigido

12.99 €

Shopkins Cicibiciler - Mutsuz Kurabi

In brossura

21.99 €

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

In brossura

8.69 €

Postdemokratie Colin Crouch

In brossura

11.39 €

Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski

In brossura

16.89 €

Treasurers of the Snow Patricia St John

In brossura

15.19 €

La casa de Tomasa Phyllis Root

In brossura

22.29 €

Aguas arriba de mi madre Arnáiz

In brossura

22.79 €

Fiat 850. 1964-1973 Alessandro Sannia

In brossura

23.49 €

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

In brossura

23.49 €

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

In brossura

11.19 €

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

In brossura

29.49 €

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

Rigido

11.09 €

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.