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

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Susanne Graf
Codice Libristo: 01559203
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Descrizione completa
? points 136 b
55.39 €
Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

In preparazione
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Libro Libro
common.buy 59.29 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / Libro elettronico Adobe ePub DRM
common.buy 7.39 €
Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag / Libro Rigido
common.buy 24.39 €
I migliori
Psychológia ako zbraň Tomáš Vepi / Libro Rigido
common.buy 13.59 €
MYTHOS SANTOS / Libro Libro
common.buy 21.39 €
Kontrastive Medienlinguistik Roman Opilowski / Libro In brossura
common.buy 57.09 €
?Quién es mi bebé? EDICIONES / Libro In brossura
common.buy 16.99 €
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Libro In brossura
common.buy 8.89 €
Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino / Libro Rigido
common.buy 24.19 €
Unterhaltsrecht Michael Schwimann / Libro Rigido
common.buy 73.99 €
Le secret en matière fiscale Pilotin / Libro In brossura
common.buy 42.49 €
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 13.59 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Libro In brossura
common.buy 12.79 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Libro In brossura
common.buy 13.39 €
Y Dejo Escapar Sus Ojos Teresa Zatarain / Libro Rigido
common.buy 15.69 €
La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour / Libro In brossura
common.buy 22.09 €
Königsblut / Libro In brossura
common.buy 7.79 €
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A / Libro In brossura
common.buy 23.79 €
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant / Libro In brossura
common.buy 33.99 €
Rafaela McKensey Monika Hoffmann / Libro In brossura
common.buy 7.69 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Libro Rigido
common.buy 35.99 €
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Libro In brossura
common.buy 42.29 €
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz / Libro In brossura
common.buy 14.29 €
Histoire de France 1715-1723 Volume 17 (of 19) Jules Michelet / Libro In brossura
common.buy 15.99 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 314
EAN 9783540213147
ISBN 3540213147
Codice Libristo 01559203
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 493
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

Frontiers in Algorithms D. T. Lee / Libro In brossura
common.buy 53.59 €
Classic Operating Systems Per Brinch Hansen / Libro Rigido
common.buy 101.79 €
Rayne the Raindrop Marlo Nix / Libro In brossura
common.buy 15.29 €
First Steps: Caro-Kann Defence Andrew Martin / Libro In brossura
common.buy 18.89 €
Mobile Communications Handbook Jerry D. Gibson / Libro In brossura
common.buy 120.09 €
Cozy Camping (A Lexie Starr Mystery, Book 6) Jeanne Glidewell / Libro Rigido
common.buy 24.49 €
Patología celular Norman F. Cheville / Libro In brossura
common.buy 38.49 €
NOVELS, VOLUME 9 IVAN SERGE TURGENEV / Libro Rigido
common.buy 31.49 €
Critical Readings on Food in East Asia (3 Vols. Set) K. J. Cwiertka / Libro Rigido
common.buy 1 130.29 €
A Time to Laugh [With Bag] Ben Alex / Libro Rigido
common.buy 13.69 €
Rick Riordan Presents: Serwa Boateng's Guide to Witchcraft and Mayhem Brown / Libro In brossura
common.buy 7.79 €
How's the Weather in Fall? Rebecca Felix / Libro In brossura
common.buy 11.89 €
A History of Westbury, Long Island Richard Panchyk / Libro Rigido
common.buy 23.49 €
Standard English Grammar William Fewsmith / Libro Rigido
common.buy 30.59 €
Stuck in the Passing Lane Jed Ringel / Libro In brossura
common.buy 11.89 €
Digital News and HIV Criminalization Colin Hastings / Libro In brossura
common.buy 21.89 €
Scruffy Goes to the Vet Stephen Rickard / Libro In brossura
common.buy 5.89 €
I migliori
The Power of the Pussy Kara King / Libro In brossura
common.buy 13.89 €
Entrepreneurship in the Arab World EL KHAZINDAR BUSINES / Libro Rigido
common.buy 39.19 €
Advent Encounter MATT MESSNER / Libro Rigido
common.buy 19.09 €
Eugenics and Other Evils G. K. Chesterton / Libro In brossura
common.buy 16.29 €
Simply Circles Bayer Philip Bayer / Libro In brossura
common.buy 18.09 €
Skim, Dive, Surface Jenae Cohn / Libro In brossura
common.buy 23.59 €
I migliori
My First 100 Technology Words Chris Ferrie / Libro Leporello
common.buy 5.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?