«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.

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Tests and Proofs Jasmin Christian Blanchette
Código Libristo: 09361553
Editores Springer International Publishing AG, junio 2015
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Descripción completa
? points 133 b
54.29 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Gannibal 6 Masaaki Ninomiya / Libro Tapa blanda
common.buy 9.59 €
Algorytmika praktyczna Stańczyk Piotr / Libro Tapa blanda
common.buy 32.19 €
Hort- Bzw. Depotfunde Der Fr hbronzezeit in Mitteldeutschland Und Ihr Indikatorischer Wert F r Den Nachweis Sozialer Eliten Silvester Tamas / Libro Tapa blanda
common.buy 17.89 €
Leggere la scuola. Antologia e laboratori per la scuola secondaria di primo grado Alice Bigli / Libro Tapa blanda
common.buy 29.39 €
Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege / Libro Tapa blanda
common.buy 47.29 €
Nevyřešené záhady Egypta Magdalena Zachardová / Libro Tapa dura
common.buy 11.99 €
Hameleony Gennadij Murzin / Libro Tapa blanda
common.buy 44.19 €
Cahiers du Cinéma N°754 - Herbier - avril 2019 / Libro Tapa blanda
common.buy 9.29 €
Mesačná víla Samuel Salay / Libro Tapa dura
common.buy 4.69 €
Salin Kaliske Helene Böhlau / Libro Tapa blanda
common.buy 36.39 €
Enchantimals 01 - Au secours de Felicity ! Mattel / Libro Tapa blanda
common.buy 9.39 €
Dikkat Kan Araniyor Zehra Ebrar Bakir / Libro Tapa blanda
common.buy 12.19 €
Préhistoires d'Europe Lehoerff anne / Libro Libro
common.buy 33.49 €
Comptines pour se relaxer Gilles Diederichs / Libro Tapa blanda
common.buy 18.29 €
Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES) / Libro Tapa blanda
common.buy 40.49 €

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency, and validation, among others. Many papers rely on interactive and automatic§theorem provers, including SMT solvers and model checkers.

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 Tests and Proofs
Autor Jasmin Christian Blanchette, Nikolai Kosmatov
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 209
EAN 9783319212142
ISBN 3319212141
Código Libristo 09361553
Editores Springer International Publishing AG
Peso 3577
Dimensiones 155 x 235 x 14

Categorías

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

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa / Libro Tapa dura
common.buy 225.39 €
It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black / Libro Tapa blanda
common.buy 14.99 €
Bonereapers Jeanne Matthews / Libro Tapa blanda
common.buy 18.89 €
Larry Cohen Michael Doyle / Libro Tapa dura
common.buy 54.39 €
Republic of Korea Health System Review Who Regional Office for the Western Paci / Libro Tapa blanda
common.buy 27.29 €
Beastwalker Gama Ray Martinez / Libro Tapa blanda
common.buy 13.49 €
Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie / Libro Tapa dura
common.buy 71.19 €
Beautiful Book for Little Children John L Shorey / Libro Tapa blanda
common.buy 16.89 €
Three Craws Melanie Mitchell / Libro Libro de concertinas
common.buy 8.29 €
Bantu Prophets in South Africa Bengt G. M. Sundkler / Libro Tapa blanda
common.buy 54.09 €
Próximamente
Department of Defense Posture for Artificial Intelligence William Shelton / Libro Tapa blanda
common.buy 29.89 €
Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School / Libro Tapa blanda
common.buy 6.99 €
Policy-based Computing with SELINUX Nwamaka U. Okafor / Libro Tapa blanda
common.buy 35.49 €
Ultimate Baby Food Cookbook Jayson Young / Libro Tapa blanda
common.buy 9.79 €
Passage Justin Cronin / Libro electrónico Adobe ePub DRM
common.buy 4.59 €
Autodesk CFD 2023 Black Book Matt Weber / Libro Tapa dura
common.buy 75.99 €
Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao / Libro Tapa dura
common.buy 215.89 €
The World Almanac and Book of Facts 2024 Janssen / Libro Tapa dura
common.buy 34.19 €
Recovery of degraded areas Bruno M. Araújo / Libro Tapa blanda
common.buy 39.39 €
Postanarchism and Critical Art Practices Tihomir Topuzovski / Libro Tapa dura
common.buy 134.29 €
Still Life Burke / Libro Tapa dura
common.buy 23.49 €
20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter / Libro Tapa dura
common.buy 28.89 €
CCST Cisco Certified Support Technician Study Guide Todd Lammle / Libro electrónico Adobe ePub DRM
common.buy 54.89 €
Nuevo
Lore of the Tides Analeigh Sbrana / Libro Tapa blanda
common.buy 11.69 €

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?