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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Lingua IngleseInglese
Libro In brossura
Libro SPIN Model Checking and Software Verification Klaus Havelund
Codice Libristo: 01563035
Casa editrice Springer, Berlin, novembre 1999
This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Sanaci Dami Alvarez / Libro In brossura
common.buy 10.69 €
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Libro Rigido
common.buy 16.19 €
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla / Libro In brossura
common.buy 40.99 €
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / Libro elettronico Adobe ePub DRM
common.buy 60.39 €
Konec sezóny na koupališti Úštěk Veronika Bendová / Libro Foglio
common.buy 13.79 €
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Libro In brossura
common.buy 16.49 €
T'choupi Thierry Courtin / Libro Rigido
common.buy 9.69 €
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Libro In brossura
common.buy 19.99 €
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Libro In brossura
common.buy 31.29 €
100 fiocchi di neve a uncinetto Caitlin Sainio / Libro In brossura
common.buy 22.99 €
Tanri Yoktur Allahtan Baska Reza Aslan / Libro In brossura
common.buy 14.69 €
E-Democracy Martin Wolf / Libro In brossura
common.buy 62.29 €
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Libro In brossura
common.buy 7.69 €
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Libro In brossura
common.buy 35.49 €
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Libro In brossura
common.buy 27.69 €

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, held in Stanford, California in August/September 2000. This book is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems. The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. The 17 revised full papers presented together with three tutorial contributions were carefully reviewed and selected from 31 submissions. The book competently presents the state of the art in SPIN model checking.

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 SPIN Model Checking and Software Verification
Autore Klaus Havelund, John Penix, Willem Visser
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2000
Numero di pagine 346
EAN 9783540410300
ISBN 3540410309
Codice Libristo 01563035
Casa editrice Springer, Berlin
Peso 508
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

Potrebbe interessarti anche

The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Libro In brossura
common.buy 7.99 €
Nero And Actea: A Tragedy (1891) Eric MacKay / Libro In brossura
common.buy 19.29 €
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Libro In brossura
common.buy 34.09 €
The Cure Leah O'Neil / Libro In brossura
common.buy 15.39 €
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Libro In brossura
common.buy 9.39 €
The Scope of Immunology Sadiq Mareai / Libro In brossura
common.buy 33.59 €
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART / Libro Rigido
common.buy 32.79 €
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Libro In brossura
common.buy 39.69 €
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Libro In brossura
common.buy 6.49 €
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Libro In brossura
common.buy 214.29 €
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Libro In brossura
common.buy 20.09 €
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Libro In brossura
common.buy 10.69 €
Masonry in Compression A. T. Vermeltfoort / Libro In brossura
common.buy 83.09 €
De Doctrina Christiana Saint Augustine / Libro Rigido
common.buy 375.99 €
History Education and the Construction of National Identities Mario Carretero / Libro Rigido
common.buy 130.09 €
Integer Partitions George E. AndrewsKimmo Eriksson / Libro Rigido
common.buy 226.49 €
I migliori
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Libro In brossura
common.buy 26.29 €
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Libro Rigido
common.buy 18.89 €
Vow Debbie Howells / Audiolibro MP3
common.buy 15.69 €
Hymns And Sacred Songs (1832) Alexander Hume / Libro In brossura
common.buy 22.99 €
Crazy Days with Pickles Rebekah Molander / Libro In brossura
common.buy 19.99 €
Seabees at Gulfport Gina L. Nichols / Libro Rigido
common.buy 25.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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?