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

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Approaches to Software Testing Wolfgang Grieskamp
Código Libristo: 01562128
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2006
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... 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

First Christmas Children's Book (Portuguese) Nate Books / Libro Tapa blanda
common.buy 11.19 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Libro Tapa blanda
common.buy 14.49 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Libro Tapa blanda
common.buy 103.29 €
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone / Libro Tapa blanda
common.buy 32.79 €
Brasilien Stefan Zweig / Libro Tapa dura
common.buy 23.09 €
ricordo che non avevo Alberto Melis / Libro Tapa blanda
common.buy 22.49 €
First Impressions A guide to drawing materials / Video DVD
common.buy 5.09 €
Love Monster. Potworek szuka miłości Bright Rachel / Libro Tapa dura
common.buy 9.09 €
Burnout-Syndrom Kirsten Michels / Libro Tapa blanda
common.buy 15.89 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Libro Tapa blanda
common.buy 9.49 €
Pimpa - Pimpa y su gemela Pimpa Altan / Libro electrónico Adobe ePub DRM
common.buy 6.29 €
Field Songs Mark Lanegan Audio CD de audio
common.buy 11.89 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Libro Tapa blanda
common.buy 14.19 €
Journal d'un chat assassin (nouvelle édition) Fine / Libro Tapa dura
common.buy 11.49 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Libro Tapa dura
common.buy 13.79 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Audiolibro MP3
common.buy 3.19 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Libro Tapa blanda
common.buy 111.89 €
Industrietourismus in Deutschland Anja Schramm / Libro Tapa blanda
common.buy 72.79 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Libro Tapa blanda
common.buy 55.09 €
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Libro Tapa blanda
common.buy 76.59 €
De la maceta a la mesa McTernan / Libro Tapa blanda
common.buy 20.39 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr Reinhold Koullen / Libro Tapa blanda
common.buy 13.59 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Libro Tapa blanda
common.buy 52.99 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Libro Tapa blanda
common.buy 11.59 €

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

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 Formal Approaches to Software Testing
Autor Wolfgang Grieskamp, Carsten Weise
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 219
EAN 9783540344544
ISBN 3540344543
Código Libristo 01562128
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 750
Dimensiones 155 x 235 x 13

Categorías

Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Arquitectura de la información
Computación e informática > Hardware (o soporte físico del ordenador) > Mantenimiento y reparación
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 > Programación informática/desarrollo de software > Ingeniería del software
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

Hybrid Systems: Computation and Control Rupak Majumdar / Libro Tapa blanda
common.buy 56.59 €
Electrocaloric Materials Tatiana Correia / Libro Tapa dura
common.buy 112.79 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Libro Tapa blanda
common.buy 22.79 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Libro Tapa dura
common.buy 198.59 €
Housing, Fuel Poverty and Health HEALY / Libro Tapa blanda
common.buy 74.39 €
Collection of Treaties Between Great Britain and Other Powers, Volume 2 George Chalmers / Libro Tapa dura
common.buy 41.59 €
Exposed Shannon M. Deitz / Libro Tapa blanda
common.buy 12.69 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Libro Tapa blanda
common.buy 11.39 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Libro Tapa blanda
common.buy 9.79 €
Water Trading and Global Water Scarcity Josefina Maestu / Libro Tapa blanda
common.buy 77.69 €
River of Light and Shadow Allen Kent / Libro Tapa blanda
common.buy 10.39 €
Arthur and Friends Mikael Lindnord / Libro Tapa blanda
common.buy 15.09 €
Sophia Christina B O'Doherty / Libro Tapa blanda
common.buy 26.59 €
Achieving Buzzword Compliance DAVID C HAY / Libro Tapa blanda
common.buy 51.29 €
Michelin Sri Lanka Road & Tourist Map 803 / Artículos impresos Mapa
common.buy 13.69 €
Selected Works of George E. Andrews George E Andrews / Libro Tapa dura
common.buy 435.09 €
The Typology of Scripture Patrick Fairbairn / Libro Tapa blanda
common.buy 35.49 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Libro Tapa blanda
common.buy 16.09 €
Gradations in Euclid Henry Green / Libro Tapa blanda
common.buy 35.39 €
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Libro Tapa blanda
common.buy 26.89 €
A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied / Libro Tapa blanda
common.buy 24.89 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Libro Tapa blanda
common.buy 8.89 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Libro Tapa dura
common.buy 169.09 €
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Libro Tapa blanda
common.buy 8.99 €

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?