[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Model Checking Software

Lingua IngleseInglese
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
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

I MIGLIORI SVENDITA
Bart Simpson Malý rošťák Matt Groening / In brossura
common.buy 1.27 €
Obituary Mario Martinez / Rigido
common.buy 33.17 €
From Divergent Power Series to Analytic Functions Werner Balser / In brossura
common.buy 40.56 €
Multicriteria Analysis for Land-Use Management E. Beinat / Rigido
common.buy 284.62 €
Classic Operating Systems Per Brinch Hansen / Rigido
common.buy 143.32 €
Frontiers in Algorithms D. T. Lee / In brossura
common.buy 73.74 €
Columbo - Ein Hund fur alle "Felle" Barbara Schilling / In brossura
common.buy 11.23 €
Forced Saving Hazel BatemanGeoffrey KingstonJohn Piggott / In brossura
common.buy 58.11 €
Eurythmics / In brossura
common.buy 26.86 €
Morality and Action Warren Quinn / Rigido
common.buy 150.81 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / In brossura
common.buy 23.32 €
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Rigido
common.buy 220.39 €
Memoirs of the Courts and Cabinets of George the Third from the Original Family Documents, Volume 1 Richard Plantagenet Buckingham and Chandos / In brossura
common.buy 42.91 €
Mathematical Modeling in Chemical Engineering Anders Rasmuson / Rigido
common.buy 94.51 €
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / In brossura
common.buy 41.31 €

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.

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo