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

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Alastair Donaldson
Codice Libristo: 01661641
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Descrizione completa
? points 121 b
49.49 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Libro In brossura
common.buy 34.29 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Libro In brossura
common.buy 43.89 €
Krabben Günter Pump / Libro Rigido
common.buy 8.99 €
Veselý vlak - Nálepky do vane neuvedený autor / Pubblicazioni cartacee Carte
common.buy 11.79 €
Polnische Ostseeküste Wolfgang Kling / Libro In brossura
common.buy 15.09 €
FAUNO Cristina Lobo / Libro In brossura
common.buy 22.09 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Libro In brossura
common.buy 29.19 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Libro In brossura
common.buy 16.89 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Libro In brossura
common.buy 35.49 €
Ganz normale Bürger David King / Libro Rigido
common.buy 21.49 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Libro In brossura
common.buy 14.09 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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 Alastair Donaldson, David Parker
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 261
EAN 9783642317583
ISBN 3642317588
Codice Libristo 01661641
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 421
Dimensioni 155 x 235 x 15

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software
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 > Scienza dei calcolatori > Architettura e progettazione logica dei computer
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

Begegnung Mit Der Vergangenheit Alberto Giacometti / Libro Rigido
common.buy 115.39 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Libro In brossura
common.buy 15.39 €
The Fulcrum Files Mark Chisnell / Libro In brossura
common.buy 16.39 €
Trapped Under the Sea Neil Swidey / Libro In brossura
common.buy 19.59 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Libro Rigido
common.buy 47.49 €
Stories from Mother's Note Book Lucy Tonge / Libro Rigido
common.buy 32.79 €
Sanctuary of Demeter and Kore Nancy Bookidis / Libro Rigido
common.buy 186.09 €
Methane and its Derivatives Sunggyu Lee / Libro Rigido
common.buy 483.59 €
Restraining Rage William Vernon Harris / Libro In brossura
common.buy 48.19 €
Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Libro Rigido
common.buy 124.89 €
Integration Through Foreign Direct Investment Gábor Hunya / Libro Rigido
common.buy 173.09 €
Last Generation of the Roman Republic Gruen / Libro In brossura
common.buy 50.49 €
Everything we do is music Barry Russell / Libro In brossura
common.buy 33.99 €
International Climate Change Law Daniel Bodansky / Libro In brossura
common.buy 93.19 €
I migliori
Music and Technology: A Very Short Introduction Katz / Libro In brossura
common.buy 11.19 €
Cracked James Davies / Libro In brossura
common.buy 14.69 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Libro Rigido
common.buy 193.29 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Libro In brossura
common.buy 12.29 €

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