«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

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

Clientes que también han comprado

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 €
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Libro Tapa blanda
common.buy 49.19 €
Das Erbe Martin Wieland / Libro Tapa blanda
common.buy 22.79 €
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Libro Tapa blanda
common.buy 15.69 €
Elaboración de vinos espumosos y cavas Madrid Vicente / Libro Tapa blanda
common.buy 36.89 €
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Libro Tapa blanda
common.buy 26.19 €
Rüyalar ve Uyanislar Defteri Latife Tekin / Libro Tapa blanda
common.buy 15.49 €
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Libro Tapa blanda
common.buy 8.89 €
Gesammelte Werke Ernst Von Wildenbruch / Libro Tapa blanda
common.buy 63.89 €

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

Hymns, Psalms and Prayers Isaac Mayer Wise / Libro Tapa blanda
common.buy 22.79 €
The Heart of Your Script Phil Hughes / Libro Tapa blanda
common.buy 35.09 €
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.89 €
Bon Iver Bon / Libro Libro
common.buy 25.09 €
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Libro Tapa blanda
common.buy 26.59 €
Inventive Engineering Tomasz Arciszewski / Libro Tapa dura
common.buy 302.09 €
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 €
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Libro Tapa blanda
common.buy 49.19 €
Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe / Libro Tapa blanda
common.buy 18.89 €
Danger Music Eddie Ayres / Libro Tapa blanda
common.buy 11.69 €
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 €
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / Libro electrónico Adobe ePub DRM
common.buy 12.89 €
Catch a Falling Star Mason Stone / Libro Tapa blanda
common.buy 11.19 €
Towards a Federal Europe Alexander H. Trechsel / Libro Tapa blanda
common.buy 52.09 €
Próximamente Nuevo
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Libro Tapa dura
common.buy 216.99 €
Developmental-Behavioral Disorders Marvin I. Gottlieb / Libro Tapa blanda
common.buy 56.59 €
Creating Textures in Pen & Ink with Watercolor Claudia Nice / Libro Tapa blanda
common.buy 19.69 €
Introduction to Transport Policy - A Public Policy View Peter R. Stopher / Libro Tapa dura
common.buy 174.79 €
My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa / Libro Tapa blanda
common.buy 36.69 €
Free Fall Robert Crais / Libro Tapa blanda
common.buy 13.79 €
Electronic Banking Scn Education B. V. / 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