«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

Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Tests and Proofs Catherine Dubois
Código Libristo: 01650098
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2009
This book constitutes the refereed proceedings of the Third International Conference on Test and Pro... 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

El gran libro de 3DS Max 2017 MediaActive / Libro Tapa blanda
common.buy 38.49 €
Fahrnisexekution (f. Österreich) Harald Mini / Libro Tapa dura
common.buy 49.49 €
Compendio de gerontogeriatría Leonardo Strejilevich / Libro Tapa blanda
common.buy 81.59 €
Directors' Dealings in Deutschland Björn M. Dymke / Libro Tapa blanda
common.buy 67.19 €
Frühling auf Santorin (Puzzle) / Juego/Juguete Juego
common.buy 13.99 €
Barracuda - Tome 6 - Délivrance Dufaux Jean / Libro Tapa dura
common.buy 22.49 €
20 x klassische Musikstücke für 45 Minuten - Klasse 1/2, m. Audio-CD Monika Strobl / Libro Tapa blanda
common.buy 33.59 €
Im Sommer, wenn niemand bleibt Andreas Nolte / Libro Tapa blanda
common.buy 10.69 €
UEbersicht uber Benchmarking-Pools fur Facility Management in Deutschland und deren Anwendung Siegmund Schönberger / Libro Tapa blanda
common.buy 47.29 €
Explorando El Antiguo Testamento (Grado 9): Discover God's Pattern & Promise & Blessing: Step 9 B. Bright / Libro Tapa blanda
common.buy 7.89 €
Angst und Selbsthilfe Manu von Öhsen / Libro Tapa blanda
common.buy 11.99 €
Reise nach Peru Wolfgang Bayer / Libro Tapa blanda
common.buy 29.59 €

This book constitutes the refereed proceedings of the Third International Conference on Test and Proofs, TAP 2009, held in Zurich, Switzerland, in July 2009.§The 10 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 20 submissions. The papers cover the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test data, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic bug finding; formal frameworks; tool descriptions and experience reports; and case studies.

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 Catherine Dubois
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 169
EAN 9783642029486
ISBN 3642029485
Código Libristo 01650098
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 284
Dimensiones 155 x 235 x 11

Categorías

Computación e informática > Tecnología de la información: cuestiones generales > Aspectos éticos y sociales de la informática
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
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 > 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 > Análisis y diseño de sistemas
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

Basic Guidance Set 2001 PETERSON S / Libro Tapa blanda
common.buy 10.59 €
Communication and Public Participation in Environmental Decision Making Stephen P. Depoe / Libro Tapa blanda
common.buy 45.19 €
Relations of Christian Principle to Mental Culture Stephen Olin / Libro Tapa dura
common.buy 30.79 €
EPIC OF LIFE John Clark 1840-1900 Ridpath / Libro Tapa blanda
common.buy 15.09 €
Contemporary Ethical Theories Luther J Binkley / Libro Tapa blanda
common.buy 30.79 €
Football: You Can Make The Team! Clary Anderson / Libro Tapa blanda
common.buy 17.19 €
Reform and Productivity Growth in India Maiti / Libro Tapa blanda
common.buy 72.59 €
Thunder from Heaven: Storm Birds Brian Kelleher / Libro Tapa blanda
common.buy 20.09 €
Nursing Home Survival Manual Frank Rushton Phd / Libro Tapa blanda
common.buy 20.09 €
The Dead Sea Scrolls Of St. Mark's Monastery V1: The Isaiah Manuscript And Habakkuk Commentary Millar Burrows / Libro Tapa dura
common.buy 39.69 €
Price and Financial Stability Harrison / Libro Tapa dura
common.buy 228.59 €
Truth is one, the sages speak of it by many names Hans Durrer / Libro Tapa blanda
common.buy 17.89 €
Heartbreak Ridge Clint Eastwood / Video Blu-ray
common.buy 16.79 €
Whose Government Is It? Henry Tam / Libro Tapa dura
common.buy 122.99 €
Teaching ESL/EFL Listening and Speaking Jonathan M. Newton / Libro Tapa blanda
common.buy 65.89 €
Ezra Pound's Japan HOUWEN ANDREW / Libro Tapa dura
common.buy 148.59 €
Fabian_books_Z_119_violent_surrender Cherri Southern / Libro Tapa blanda
common.buy 19.99 €
The Classroom Behavior Manual: How to Build Relationships with Students, Share Control, and Teach Positive Behaviors / Libro Tapa blanda
common.buy 31.19 €
Nightshade's Touch Pippa DaCosta / Audiolibro MP3
common.buy 21.29 €
The Codex Alexandrinus (Royal MS. 1 D. V-VIII) in Reduced Photographic Facsimile; Volume 2 Frederic G. Kenyon / Libro Tapa dura
common.buy 35.79 €
On Extinction Ben Ware / Libro electrónico Adobe ePub DRM
common.buy 14.69 €
Oral Probiotics: Fighting Tooth Decay, Periodontal Disease and Airway Infections Using Nature's Friendly Bacteria Naturopath Case Adams / Libro electrónico Adobe ePub DRM
common.buy 10.49 €
Stochastic Processes in Physics, Chemistry, and Biology Jan A. Freund / Libro Tapa dura
common.buy 112.79 €
Oriental Encounters Palestine and Syria, 1894-6 Marmaduke William Pickthall / Libro Tapa blanda
common.buy 12.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?