«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

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software María del Mar Gallardo
Código Libristo: 19534895
Editores Springer International Publishing AG, junio 2018
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Libro Tapa blanda
common.buy 49.19 €
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Libro Tapa blanda
common.buy 26.09 €
Elaboración de vinos espumosos y cavas Madrid Vicente / Libro Tapa blanda
common.buy 34.49 €
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Libro Tapa blanda
common.buy 13.79 €
Guida al cinema noir Stefano Di Marino / Libro Tapa blanda
common.buy 35.89 €
Rüyalar ve Uyanislar Defteri Latife Tekin / Libro Tapa blanda
common.buy 15.49 €
Křížovky pro seniory - Výlety po Česku neuvedeno / Libro Tapa blanda
common.buy 4.19 €
naanallada naanu s.g.shivashankar / Libro Tapa blanda
common.buy 16.19 €
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Libro Tapa blanda
common.buy 39.39 €
Gesammelte Werke Ernst Von Wildenbruch / Libro Tapa blanda
common.buy 63.89 €
Das Erbe Martin Wieland / Libro Tapa blanda
common.buy 22.79 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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 María del Mar Gallardo, Pedro Merino
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2018
Número de páginas 347
EAN 9783319941103
ISBN 3319941100
Código Libristo 19534895
Editores Springer International Publishing AG
Peso 557
Dimensiones 155 x 235 x 20

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
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 > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Modelos y simulaciones por ordenador
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

Testing: Academic and Industrial Conference - Practice and Research Techniques Leonardo Bottaci / Libro Tapa blanda
common.buy 60.49 €
Danger Music Eddie Ayres / Libro Tapa blanda
common.buy 11.99 €
Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe / Libro Tapa blanda
common.buy 18.29 €
Ecocriticism and Italy Serenella Iovino / Libro Tapa blanda
common.buy 61.69 €
Tiny the Vancouver Easter Bunny Eric James / Libro Tapa dura
common.buy 9.79 €
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Libro Tapa blanda
common.buy 26.59 €
Inventive Engineering Tomasz Arciszewski / Libro Tapa dura
common.buy 346.19 €
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds / Libro Tapa blanda
common.buy 15.39 €
Villainous Jessica S Carter / Libro Tapa blanda
common.buy 9.79 €
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Libro Tapa blanda
common.buy 49.19 €
Hymns, Psalms and Prayers Isaac Mayer Wise / Libro Tapa blanda
common.buy 22.79 €
British Motor Fishing Vessels John McWilliams / Libro Tapa blanda
common.buy 19.59 €
Rust Belt Burlesque Erin O'Brien / Libro Tapa blanda
common.buy 21.79 €
Bon Iver Bon / Libro Libro
common.buy 21.79 €
Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson / Libro Tapa blanda
common.buy 6.99 €
Radiant, Vol. 8, 8 Tony Valente / Libro Tapa blanda
common.buy 8.89 €
Interpreting the New Testament Francis J. Moloney / Libro Tapa blanda
common.buy 35.09 €
The flying flower(ID) Philip I. Shin / Libro Tapa blanda
common.buy 6.49 €
Catch a Falling Star Mason Stone / Libro Tapa blanda
common.buy 11.19 €
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / Libro electrónico Adobe ePub DRM
common.buy 12.79 €
The Heart of Your Script Phil Hughes / Libro Tapa blanda
common.buy 35.09 €
Próximamente Nuevo
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Libro Tapa dura
common.buy 216.89 €
Free Fall Robert Crais / Libro Tapa blanda
common.buy 11.99 €
Shays's Rebellion Richards / Libro Tapa blanda
common.buy 24.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?