Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

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 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

SPIN Model Checking and Software Verification

Name: SPIN Model Checking and Software Verification
Brand: Springer, Berlin
SKU: 01563035
Price: 45.49 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783540410300

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

Klaus Havelund

John Penix

Willem Visser

Lingua

Inglese

Libro In brossura

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

Codice Libristo: 01563035

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Sanaci Dami Alvarez

In brossura

10.69 €

Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz

In brossura

29.69 €

Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock

In brossura

23.49 €

COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER

In brossura

13.29 €

Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst

Adobe ePub DRM

48.89 €

Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla

In brossura

34.19 €

Gdzie się schował lisek? Akademia mądrego dziecka. Zabawa w chowanego opracowanie zbiorowe

In brossura

5.09 €

Konec sezóny na koupališti Úštěk Veronika Bendová

Foglio

10.39 €

Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P

In brossura

24.89 €

T'choupi Thierry Courtin

Rigido

7.49 €

Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK

Rigido

19.69 €

L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova

In brossura

16.09 €

Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy

In brossura

6.39 €

E-Democracy Martin Wolf

In brossura

49.99 €

Tanri Yoktur Allahtan Baska Reza Aslan

In brossura

12.49 €

100 fiocchi di neve a uncinetto Caitlin Sainio

In brossura

18.53 €

Aprendo números

In brossura

6.29 €

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

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

Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch

In brossura

7.79 €

The Balkans: A History of Bulgaria and Serbia Nevill Forbes

In brossura

6.39 €

Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke

In brossura

8.69 €

200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem

In brossura

16.19 €

Special Forces Sniper Training and Employment. by: Department of the Army Headquarters Department Of the Army Headquarters

In brossura

24.49 €

Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab

In brossura

181.29 €

The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link

In brossura

6.49 €

Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART

Rigido

26.69 €