Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

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 7.99 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Model Checking Software Susanne Graf

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Laurent Mounier

Lingua

Inglese

Libro In brossura

Libro Model Checking Software Susanne Graf

Codice Libristo: 01559203

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2004

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Descrizione completa

Codice Libristo: 01559203

?

points

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Borderline - Tijuana Connection, 1 DVD William A. Seiter

/

DVD

14.29 €

Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld

/

Adobe ePub DRM

9.09 €

In preparazione

ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ

/

Libro

68.69 €

?Quién es mi bebé? EDICIONES

/

In brossura

18.79 €

Curiosidades en verso. El cuerpo humano SAGRARIO PINTO

/

In brossura

12.39 €

Knoedelschorsch seine Leckerchen Hans-Georg Karl

/

In brossura

10.39 €

TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium

/

Rigido

37.79 €

Rafaela McKensey Monika Hoffmann

/

In brossura

8.09 €

Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L

/

In brossura

15.09 €

Königsblut

/

In brossura

8.09 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Model Checking Software

Autore Susanne Graf, Laurent Mounier

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2004

Numero di pagine 314

EAN 9783540213147

ISBN 3540213147

Codice Libristo 01559203

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 493

Dimensioni 155 x 235 x 18

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Sistemi operativi

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Frontiers in Algorithms D. T. Lee

/

In brossura

59.39 €

Classic Operating Systems Per Brinch Hansen

/

Rigido

107.29 €

First Steps: Caro-Kann Defence Andrew Martin

/

In brossura

25.89 €

Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian

/

In brossura

21.79 €

Obituary Mario Martinez

/

Rigido

27.19 €

7 Mindsets to Master Self-Awareness Elizabeth Diamond

/

In brossura

16.89 €

Marble Mountain Bud Willis

/

In brossura

22.29 €

Sanctuary Willa Ford

/

Rigido

33.69 €

Can You Stand to Be Blessed Lakiya Broadus

/

In brossura

20.99 €

A Time to Laugh [With Bag] Ben Alex

/

Rigido

14.49 €

Patología celular Norman F. Cheville

/

In brossura

42.89 €

Mobile Communications Handbook Jerry D. Gibson

/

In brossura

125.79 €

Eurythmics Eurythmics

/

In brossura

14.99 €

A History of Westbury, Long Island Richard Panchyk

/

Rigido

26.59 €

After the World Ended Hannah Lackoff

/

In brossura

15.39 €

Theory of Cryptography Amos Beimel

/

In brossura

53.79 €

Eugenics and Other Evils G. K. Chesterton

/

In brossura

18.29 €

Windows Server 2012 R2 Inside Out Volume 1 William Stanek

/

Adobe ePub DRM

31.69 €

Methods for Plant Nucleus and Chromatin Studies Célia Baroux

/

Rigido

241.39 €

A to Z of Critical Thinking Beth Black

/

Rigido

124.89 €

Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan

/

In brossura

33.49 €

Computational Methods for Electron-Molecule Collisions Franco A. Gianturco

/

Rigido

160.89 €

Multicriteria Analysis for Land-Use Management E. Beinat

/

Rigido

214.29 €

From Divergent Power Series to Analytic Functions Werner Balser

/

In brossura

33.69 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?