«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

Hasta 30 días para devoluciones

Clientes que también han comprado

XXX xxx / Libro Tapa blanda
common.buy 7.69 €
Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Libro Tapa blanda
common.buy 18.29 €
Celulas-Tronco Capuano Vanessa Capuano / Libro Tapa blanda
common.buy 46.29 €
Programa de educación financeira / Libro Tapa blanda
common.buy 26.79 €
Planner Story Pavel Kosatík / Libro Tapa dura
common.buy 0.89 €
Bicycle Panda (Designer Spielkarten, Poker, Skat...) United States Playing Card Company (USPC) / Juego/Juguete Juego
common.buy 8.39 €
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 €
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 €
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Libro Hoja
common.buy 14.69 €
Fundamentos teóricos y jurídicos de la ordenación del territorio / Libro Tapa blanda
common.buy 26.69 €
Rupáner-konyha Rupáner-Gallé Margó / Libro Tapa dura
common.buy 15.59 €
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Libro Tapa blanda
common.buy 27.69 €
Grossbuchstaben Geschichten 2 Sara Quast / Libro Tapa blanda
common.buy 6.19 €
Mit Vollgas Weiter Die Jungen Klostertaler / Audio CD de audio
common.buy 19.19 €
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Libro Tapa blanda
common.buy 17.09 €
Decirte adiós con un te quiero SILVIA CARPALLO / Libro Tapa blanda
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 Tapa blanda
common.buy 35.49 €
La televisión local en el País Vasco Santos Díez / Libro Tapa blanda
common.buy 12.99 €
Corrales: Guia de Servicios Diego Molina Ruiz / Libro Tapa blanda
common.buy 6.49 €
Handbuch Der Waffenkunde Wendelin Boeheim / Libro Tapa blanda
common.buy 54.09 €
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / Libro Tapa dura
common.buy 32.59 €
La Mort Comme Effet Secondaire Shua / Libro Tapa blanda
common.buy 24.09 €
Vengeful - Die Rache ist mein V. E. Schwab / Libro Tapa blanda
common.buy 15.49 €
Schäden an polymeren Beschichtungen. Robert Engelfried / Libro Tapa dura
common.buy 46.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 €
Surgery for Parkinson's Disease Robert R. Goodman / Libro Tapa dura
common.buy 55.49 €
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 €
Popular
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 137.79 €
Spanish Notebook Christopher Buckley / Libro Tapa blanda
common.buy 16.39 €
Wages of Sin Kaite Welsh / Libro Tapa blanda
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 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 53.39 €
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 54.09 €
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 83.29 €
Young ELI Readers - English Jane Cadwallader / Libro Tapa blanda
common.buy 7.49 €
Dark Psychology Sushmita Dutta / Libro Tapa blanda
common.buy 14.19 €
The Charlie Method Elle Kennedy / Libro Tapa blanda
common.buy 13.89 €
Portrait Of Mary In Heaven, And The Virgin And Saints Napoleon Roussel / Libro Tapa blanda
common.buy 19.99 €
Methotrexate Bruce N. Cronstein / Libro Tapa dura
common.buy 108.59 €
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Libro Tapa blanda
common.buy 112.79 €

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?