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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

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 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

"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

Performance of Pharmaceutical Companies in India Mainak Mazumdar / Libro Rigido
common.buy 90.79 €
In preparazione
Dispossessed Ursula K. Le Guin / Libro In brossura
common.buy 8.59 €
French & Indian War Novels Joseph A. Altsheler / Libro Rigido
common.buy 36.29 €
User's Guide to Propolis, Royal Jelly, Honey, and Bee Pollen C LEIGH BROADHURST / Libro Rigido
common.buy 13.19 €
The Queen's Gamble Barbara Kyle / Libro In brossura
common.buy 14.69 €
La nuit sera calme Romain Gary / Libro In brossura
common.buy 10.49 €
I migliori
Lilith: the Legend of the First Woman Ada Langworthy Collier / Libro In brossura
common.buy 16.29 €
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Libro In brossura
common.buy 10.49 €
Indictment of the American Clergy THOMAS WADE / Libro In brossura
common.buy 12.99 €
Strangers In Death J. D. Robb / Libro In brossura
common.buy 9.09 €
Color Copy Coloring Book - Learn to Color - The Easy Way Coloring Activity Books / Libro In brossura
common.buy 7.99 €
Picross Hanjie Griddlers Nonograms book Djape / Libro In brossura
common.buy 10.19 €
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 14.29 €
Casualties Of Community Disorder Deborah Baskin / Libro elettronico Adobe ePub DRM
common.buy 69.69 €
Nuovi
These Shattered Spires Cassidy Ellis Salter / Libro In brossura
common.buy 8.29 €
Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Libro In brossura
common.buy 24.19 €
Shakespeare and Race Imtiaz Habib / Libro Rigido
common.buy 64.29 €
Modern Monetary Theory M.L. Burstein / Libro In brossura
common.buy 97.89 €
Critical Dictionary of the French Revolution Francois Furet / Libro Rigido
common.buy 234.19 €
I migliori
Secret Garden (Penguin Classics Deluxe Edition) Frances Hodgson Burnett / Libro Libro
common.buy 11.59 €
For Derrida J. Hillis Miller / Libro In brossura
common.buy 48.09 €
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Libro Rigido
common.buy 117.89 €
Power to the Patient Atlas / Libro In brossura
common.buy 10.69 €
Social Structure Charles Crothers / Libro Rigido
common.buy 209.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