Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
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 phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking Software

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Patrick Godefroid
Codice Libristo: 01560970
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Die Transformatoren R. Küchler / Libro In brossura
common.buy 80.29 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / Libro elettronico Adobe ePub DRM
common.buy 2.69 €
In preparazione
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Gioco/giocattolo Giocattolo
common.buy 77.89 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / Libro elettronico Adobe ePub DRM
common.buy 0.99 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Libro In brossura
common.buy 7.39 €
Global Tools (1973-1975) / Libro Rigido
common.buy 43.89 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Libro In brossura
common.buy 21.29 €
Ineos Grenadier Jörg Sand / Libro Rigido
common.buy 17.59 €
Šťastie na prenájom Lucia Braunová / Libro In brossura
common.buy 7.59 €
Passwort Logbuch Uwe H. Sültz / Libro In brossura
common.buy 4.79 €
SLOVO BUDHOVO Nyánatiloka Maháthera / Libro Libro
common.buy 7.89 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Libro In brossura
common.buy 11.39 €
La Region Mas Transparente Carlos Fuentes / Libro In brossura
common.buy 18.09 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Libro In brossura
common.buy 44.79 €
Aronia - Das heimische Superfood Tanja Braune / Libro In brossura
common.buy 17.49 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Libro In brossura
common.buy 6.49 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Libro In brossura
common.buy 28.19 €
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Libro In brossura
common.buy 17.99 €
Les Petits Loustics Hugues Denisot / Libro In brossura
common.buy 15.89 €
Ingenieurbauführer Berlin Roland May / Libro In brossura
common.buy 26.49 €
Main de fer et gant de velours Virginie Platel / Libro In brossura
common.buy 23.59 €
En Ovantad flykt till Sverige Tadesse Kassa / Libro In brossura
common.buy 11.39 €
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Libro In brossura
common.buy 8.39 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

Attrice & Poliglotta
EWA KASP per
Riproduci video
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 Patrick Godefroid
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2005
Numero di pagine 292
EAN 9783540281955
ISBN 3540281959
Codice Libristo 01560970
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 960
Dimensioni 155 x 235 x 17

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

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Libro Rigido
common.buy 10.09 €
Across the Seasons Laura Rugel Glise / Libro In brossura
common.buy 19.99 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Libro In brossura
common.buy 21.79 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Libro Rigido
common.buy 215.89 €
Home On Bramble Hill Holly Martin / Audiolibro MP3
common.buy 15.69 €
Not in the Flesh Ruth Rendell / Libro In brossura
common.buy 16.29 €
Lakeland Lynn M. Homan / Libro In brossura
common.buy 20.59 €
The English Baptists John Clifford / Libro Rigido
common.buy 42.89 €
White Cats Book Marjo-Kaisu Niinikoski / Libro In brossura
common.buy 21.99 €
Gabriella's Reading Log Martha Day Zschock / Libro Rigido
common.buy 16.49 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Libro In brossura
common.buy 37.29 €
Lightning Strikes Stephanie Richards / Libro In brossura
common.buy 14.29 €
GREAT CAROLS Hal Leonard Corp / Libro In brossura
common.buy 13.09 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Libro In brossura
common.buy 9.19 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Libro In brossura
common.buy 15.39 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Libro In brossura
common.buy 10.39 €
Double Digit Annabel Monaghan / Libro elettronico Adobe ePub DRM
common.buy 2.59 €
Understanding FIDIC Kelvin Hughes / Libro Rigido
common.buy 183.69 €
Horrible Craft Book Laura Minter / Libro In brossura
common.buy 16.49 €
Georgian Tinatin Bolkvadze / Libro Rigido
common.buy 194.39 €
Fishing Holidays Stephen Gwynn / Libro In brossura
common.buy 24.99 €
Fist Number 6 Dean Whittington / Libro Rigido
common.buy 28.19 €
Hegel J. M. Fritzman / Libro In brossura
common.buy 29.49 €
African Women and Apartheid Rebekah Lee / Libro Rigido
common.buy 201.79 €

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