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

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Dragan Bosnacki
Codice Libristo: 01564229
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2002
"This book constitutes the refereed proceedings of the 9th 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

Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Pubblicazioni cartacee Note
common.buy 20.89 €
La Cascade Féerique, Audio-CD Michel Pépé / Audio CD audio
common.buy 17.89 €
BilMoG und Interne Revision Alexander Hofem / Libro In brossura
common.buy 30.29 €
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Libro In brossura
common.buy 9.59 €
Erlebnis und Geschichte Edgar Feuchtwanger / Libro In brossura
common.buy 33.69 €
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Libro In brossura
common.buy 37.29 €

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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 Dragan Bosnacki, Stefan Leue
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 262
EAN 9783540434771
ISBN 3540434771
Codice Libristo 01564229
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 472
Dimensioni 155 x 235 x 16

Categorie

Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Grafica e modellazione 3D
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

Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Libro In brossura
common.buy 29.89 €
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Libro In brossura
common.buy 17.79 €
Picross Hanjie Griddlers Nonograms book Djape / Libro In brossura
common.buy 12.59 €
Indictment of the American Clergy THOMAS WADE / Libro In brossura
common.buy 15.89 €
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Libro In brossura
common.buy 13.09 €
Lilith: the Legend of the First Woman Ada Langworthy Collier / Libro In brossura
common.buy 20.09 €
The Queen's Gamble Barbara Kyle / Libro In brossura
common.buy 18.79 €
French & Indian War Novels Joseph A. Altsheler / Libro Rigido
common.buy 44.59 €
Forever Words James Garvin / Libro In brossura
common.buy 13.69 €
Shakespeare and Race Imtiaz Habib / Libro Rigido
common.buy 83.79 €
Social Structure Charles Crothers / Libro Rigido
common.buy 242.59 €
Power to the Patient Atlas / Libro In brossura
common.buy 13.09 €
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Libro Rigido
common.buy 141.89 €
For Derrida J. Hillis Miller / Libro In brossura
common.buy 57.49 €
Critical Dictionary of the French Revolution Francois Furet / Libro Rigido
common.buy 234.59 €
Modern Monetary Theory M.L. Burstein / Libro In brossura
common.buy 113.19 €
Strangers In Death J. D. Robb / Libro In brossura
common.buy 12.49 €

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