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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Model Checking Software Antti Valmari
Codice Libristo: 01561845
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

XXX xxx / Libro In brossura
common.buy 7.89 €
Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Libro In brossura
common.buy 18.79 €
Celulas-Tronco Capuano Vanessa Capuano / Libro In brossura
common.buy 43.79 €
Programa de educación financeira / Libro In brossura
common.buy 26.79 €
Planner Story Pavel Kosatík / Libro Rigido
common.buy 0.89 €
Bicycle Panda (Designer Spielkarten, Poker, Skat...) United States Playing Card Company (USPC) / Gioco/giocattolo Gioco
common.buy 8.19 €
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Libro In brossura
common.buy 16.89 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Libro In brossura
common.buy 37.69 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Libro Foglio
common.buy 14.69 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Libro In brossura
common.buy 25.29 €
Rupáner-konyha Rupáner-Gallé Margó / Libro Rigido
common.buy 15.19 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Libro In brossura
common.buy 26.19 €
Grossbuchstaben Geschichten 2 Sara Quast / Libro In brossura
common.buy 5.89 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio CD audio
common.buy 18.29 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Libro In brossura
common.buy 17.09 €
Decirte adiós con un te quiero SILVIA CARPALLO / Libro In brossura
common.buy 18.09 €
Matrimonio y convivencia en pareja en el ámbito de la Unión Europea : hacia un nuevo modelo de matrimonio Murillo Muñoz / Libro In brossura
common.buy 35.49 €
La televisión local en el País Vasco Santos Díez / Libro In brossura
common.buy 12.99 €
Corrales: Guia de Servicios Diego Molina Ruiz / Libro In brossura
common.buy 6.49 €
Handbuch Der Waffenkunde Wendelin Boeheim / Libro In brossura
common.buy 51.19 €
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / Libro Rigido
common.buy 31.89 €
La Mort Comme Effet Secondaire Shua / Libro In brossura
common.buy 24.69 €
Vengeful - Die Rache ist mein V. E. Schwab / Libro In brossura
common.buy 15.49 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Libro Rigido
common.buy 45.29 €

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

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 Antti Valmari
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 308
EAN 9783540331025
ISBN 3540331026
Codice Libristo 01561845
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1010
Dimensioni 155 x 19 x 19

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

Thirteenth Bullet Cotton Smith / Libro In brossura
common.buy 7.69 €
Surgery for Parkinson's Disease Robert R. Goodman / Libro Rigido
common.buy 52.69 €
Riveted Meljean Brook / Libro In brossura
common.buy 21.29 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Libro In brossura
common.buy 20.89 €
I migliori
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Libro In brossura
common.buy 14.29 €
Nuclear Medicine Dibya Prakash / Libro In brossura
common.buy 52.69 €
International Relations Theory Michael Haas / Libro Rigido
common.buy 135.39 €
Spanish Notebook Christopher Buckley / Libro In brossura
common.buy 16.39 €
Wages of Sin Kaite Welsh / Libro In brossura
common.buy 11.99 €
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Libro In brossura
common.buy 10.69 €
Handbook of Macroeconomics J B Taylor / Libro Rigido
common.buy 158.69 €
Picasso Anna Coliva / Libro Rigido
common.buy 50.79 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Libro In brossura
common.buy 6.99 €
Dancing with Sophia Brian Schroeder / Libro In brossura
common.buy 54.09 €
Beginner's Guide to Chinese Brush Painting Susan Self / Libro Rigido
common.buy 11.19 €
Once Upon a Winter Tennant Tilly Tennant / Libro In brossura
common.buy 12.19 €
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Libro In brossura
common.buy 7.89 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / Libro elettronico Adobe ePub DRM
common.buy 82.29 €
Young ELI Readers - English Jane Cadwallader / Libro In brossura
common.buy 7.49 €
Dark Psychology Sushmita Dutta / Libro In brossura
common.buy 14.19 €
I migliori
The Charlie Method Elle Kennedy / Libro In brossura
common.buy 13.89 €
Portrait Of Mary In Heaven, And The Virgin And Saints Napoleon Roussel / Libro In brossura
common.buy 19.99 €
Methotrexate Bruce N. Cronstein / Libro Rigido
common.buy 106.69 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Libro In brossura
common.buy 107.29 €

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?