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 7.99 €
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

30 giorni per il reso

I clienti hanno acquistato anche

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Libro In brossura
common.buy 18.89 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio CD audio
common.buy 18.29 €
Rupáner-konyha Rupáner-Gallé Margó / Libro Rigido
common.buy 15.19 €
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Libro binding.
common.buy 9.39 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Libro In brossura
common.buy 26.19 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Libro In brossura
common.buy 25.29 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Libro In brossura
common.buy 17.09 €
XXX xxx / Libro In brossura
common.buy 7.99 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Libro Foglio
common.buy 15.49 €
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 €
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 €
Planner Story Pavel Kosatík / Libro Rigido
common.buy 0.99 €
Celulas-Tronco Capuano Vanessa Capuano / Libro In brossura
common.buy 43.79 €
Corrales: Guia de Servicios Diego Molina Ruiz / Libro In brossura
common.buy 6.49 €
La Mort Comme Effet Secondaire Shua / Libro In brossura
common.buy 24.79 €
Grundlagen des Usability-Engineering Marcel Thum / Libro In brossura
common.buy 16.89 €
SPUREN - Die Opfer des NSU / Video DVD
common.buy 19.59 €
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Libro In brossura
common.buy 20.09 €
Decirte adiós con un te quiero SILVIA CARPALLO / Libro In brossura
common.buy 19.99 €
LED ZEPPELIN MICK WALL / Libro In brossura
common.buy 30.29 €
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Libro In brossura
common.buy 24.79 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Libro Rigido
common.buy 45.29 €
Vengeful - Die Rache ist mein V. E. Schwab / Libro In brossura
common.buy 16.39 €
Grossbuchstaben Geschichten 2 Sara Quast / Libro In brossura
common.buy 5.89 €

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 €
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 €
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 138.89 €
Spanish Notebook Christopher Buckley / Libro In brossura
common.buy 16.39 €
Wages of Sin Kaite Welsh / Libro In brossura
common.buy 13.79 €
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.29 €
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 51.59 €
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 80.99 €
Young ELI Readers - English Jane Cadwallader / Libro In brossura
common.buy 8.59 €
Dark Psychology Sushmita Dutta / Libro In brossura
common.buy 14.19 €
I migliori
The Charlie Method Elle Kennedy / Libro In brossura
common.buy 14.99 €
Surgery for Parkinson's Disease Robert R. Goodman / Libro Rigido
common.buy 52.69 €
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Libro Rigido
common.buy 188.99 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Libro In brossura
common.buy 107.29 €
Writing Indian Nations Konkle / Libro In brossura
common.buy 47.19 €

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