«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

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Alastair Donaldson
Código Libristo: 01661641
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Descripción completa
? points 127 b
52.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Analisi del (dis)comfort termico e sue implicazioni pedagogiche Juv?ncio Olinda Jo?o Macovela / Libro Tapa blanda
common.buy 29.59 €
Polnische Ostseeküste Wolfgang Kling / Libro Tapa blanda
common.buy 15.99 €
Veselý vlak - Nálepky do vane neuvedený autor / Artículos impresos Tarjetas
common.buy 12.29 €
FAUNO Cristina Lobo / Libro Tapa blanda
common.buy 22.09 €
Studien zur Geschichte der Medizin Viktor von Fossel / Libro Tapa dura
common.buy 58.99 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Libro Tapa blanda
common.buy 40.19 €
Dictionnaire généalogique des habitants de Saint-Just (Cher) Laroche / Libro Tapa blanda
common.buy 112.39 €
Krabben Günter Pump / Libro Tapa dura
common.buy 9.49 €
Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Libro Tapa blanda
common.buy 33.79 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Libro Tapa blanda
common.buy 28.19 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Libro Tapa blanda
common.buy 17.89 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Libro Tapa blanda
common.buy 37.49 €
Ganz normale Bürger David King / Libro Tapa dura
common.buy 21.89 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Libro Tapa blanda
common.buy 14.89 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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 Alastair Donaldson, David Parker
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 261
EAN 9783642317583
ISBN 3642317588
Código Libristo 01661641
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 421
Dimensiones 155 x 235 x 15

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software > Pruebas y verificación de software
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 > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Poetical Works of John Dryden. with Life and Critical Dissertation [By George Gilfillan]. the Text Edited by Charles Cowden Clarke. Charles Cowden Clarke / Libro Tapa blanda
common.buy 26.39 €
Equivalence and Literary Translation. Short Introduction to the Translation Studies Marta Zapala-Kraj / Libro Tapa blanda
common.buy 27.69 €
Hidden Dungeon Only I Can Enter (Manga) Vol. 1 Tomoyuki Hino / Libro Tapa blanda
common.buy 11.19 €
The Bible by Jesus: A Modern Paraphrase by Elmer L. Towns Elmer Towns / Libro Tapa blanda
common.buy 25.09 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Libro Tapa blanda
common.buy 15.39 €
The Fulcrum Files Mark Chisnell / Libro Tapa blanda
common.buy 16.39 €
Holomorphic Foliations with Singularities Bruno Scardua / Libro Tapa dura
common.buy 85.09 €
Music and Technology: A Very Short Introduction Katz / Libro Tapa blanda
common.buy 11.19 €
Newsmakers Gale Group / Libro Tapa dura
common.buy 237.19 €
Trapped Under the Sea Neil Swidey / Libro Tapa blanda
common.buy 19.59 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Libro Tapa dura
common.buy 47.49 €
Stories from Mother's Note Book Lucy Tonge / Libro Tapa dura
common.buy 32.79 €
Sanctuary of Demeter and Kore Nancy Bookidis / Libro Tapa dura
common.buy 189.29 €
A treatise on the improvement of canal navigation; ... Illustrated with seventeen plates. By R. Fulton, ... Robert Fulton / Libro Tapa blanda
common.buy 19.49 €
Restraining Rage William Vernon Harris / Libro Tapa blanda
common.buy 48.19 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Libro Tapa blanda
common.buy 12.89 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Libro Tapa dura
common.buy 193.29 €
Cracked James Davies / Libro Tapa blanda
common.buy 14.99 €
Magnetic Micro and Nanorobot Swarms: From Fundamentals to Applications Li Zhang / Libro Tapa dura
common.buy 157.89 €
International Climate Change Law Daniel Bodansky / Libro Tapa blanda
common.buy 96.69 €
Everything we do is music Barry Russell / Libro Tapa blanda
common.buy 32.99 €
Last Generation of the Roman Republic Gruen / Libro Tapa blanda
common.buy 50.49 €
Classification and Cognition William K. Estes / Libro Tapa blanda
common.buy 56.69 €
Integration Through Foreign Direct Investment Gábor Hunya / Libro Tapa dura
common.buy 175.89 €

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?