«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Model Checking Software

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

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Antti Valmari
Código Libristo: 01561845
Editores 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... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Libro Tapa blanda
common.buy 18.49 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio CD de audio
common.buy 19.19 €
Rupáner-konyha Rupáner-Gallé Margó / Libro Tapa dura
common.buy 15.59 €
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Libro binding.
common.buy 9.59 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Libro Tapa blanda
common.buy 27.69 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Libro Tapa blanda
common.buy 26.69 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Libro Tapa blanda
common.buy 17.09 €
XXX xxx / Libro Tapa blanda
common.buy 7.79 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Libro Hoja
common.buy 16.19 €
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Libro Tapa blanda
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 Tapa blanda
common.buy 17.89 €
Planner Story Pavel Kosatík / Libro Tapa dura
common.buy 0.99 €
Celulas-Tronco Capuano Vanessa Capuano / Libro Tapa blanda
common.buy 46.29 €
Corrales: Guia de Servicios Diego Molina Ruiz / Libro Tapa blanda
common.buy 6.49 €
La Mort Comme Effet Secondaire Shua / Libro Tapa blanda
common.buy 24.19 €
Grundlagen des Usability-Engineering Marcel Thum / Libro Tapa blanda
common.buy 17.89 €
SPUREN - Die Opfer des NSU / Video DVD
common.buy 20.59 €
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Libro Tapa blanda
common.buy 20.09 €
Decirte adiós con un te quiero SILVIA CARPALLO / Libro Tapa blanda
common.buy 19.39 €
LED ZEPPELIN MICK WALL / Libro Tapa blanda
common.buy 29.39 €
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Libro Tapa blanda
common.buy 24.79 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Libro Tapa dura
common.buy 46.19 €
Vengeful - Die Rache ist mein V. E. Schwab / Libro Tapa blanda
common.buy 17.39 €
Grossbuchstaben Geschichten 2 Sara Quast / Libro Tapa blanda
common.buy 6.19 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Model Checking Software
Autor Antti Valmari
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 308
EAN 9783540331025
ISBN 3540331026
Código Libristo 01561845
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1010
Dimensiones 155 x 19 x 19

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Thirteenth Bullet Cotton Smith / Libro Tapa blanda
common.buy 8.09 €
Riveted Meljean Brook / Libro Tapa blanda
common.buy 21.29 €
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Libro Tapa blanda
common.buy 21.99 €
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Libro Tapa blanda
common.buy 14.29 €
Nuclear Medicine Dibya Prakash / Libro Tapa blanda
common.buy 55.49 €
International Relations Theory Michael Haas / Libro Tapa dura
common.buy 141.39 €
Spanish Notebook Christopher Buckley / Libro Tapa blanda
common.buy 16.39 €
Wages of Sin Kaite Welsh / Libro Tapa blanda
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 Tapa blanda
common.buy 10.69 €
Handbook of Macroeconomics J B Taylor / Libro Tapa dura
common.buy 161.29 €
Picasso Anna Coliva / Libro Tapa dura
common.buy 52.89 €
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Libro Tapa blanda
common.buy 6.99 €
Dancing with Sophia Brian Schroeder / Libro Tapa blanda
common.buy 52.49 €
Beginner's Guide to Chinese Brush Painting Susan Self / Libro Tapa dura
common.buy 11.19 €
Once Upon a Winter Tennant Tilly Tennant / Libro Tapa blanda
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 Tapa blanda
common.buy 7.89 €
Women, Stress, and Heart Disease Kristina Orth-Gomer / Libro electrónico Adobe ePub DRM
common.buy 82.29 €
Young ELI Readers - English Jane Cadwallader / Libro Tapa blanda
common.buy 8.39 €
Dark Psychology Sushmita Dutta / Libro Tapa blanda
common.buy 14.19 €
Popular
The Charlie Method Elle Kennedy / Libro Tapa blanda
common.buy 14.99 €
Surgery for Parkinson's Disease Robert R. Goodman / Libro Tapa dura
common.buy 55.49 €
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Libro Tapa dura
common.buy 198.89 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Libro Tapa blanda
common.buy 112.79 €
Writing Indian Nations Konkle / Libro Tapa blanda
common.buy 47.19 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?