«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 €
Journal d'un chat assassin (nouvelle édition) Fine / Libro Tapa dura
common.buy 11.19 €
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 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Libro Tapa blanda
common.buy 123.99 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Libro Tapa blanda
common.buy 55.09 €
Brasilien Stefan Zweig / Libro Tapa dura
common.buy 23.09 €
Love Monster. Potworek szuka miłości Bright Rachel / Libro Tapa dura
common.buy 9.09 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Libro Tapa blanda
common.buy 14.19 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Libro Tapa blanda
common.buy 10.29 €
Pimpa - Pimpa y su gemela Pimpa Altan / Libro electrónico Adobe ePub DRM
common.buy 6.39 €
Field Songs Mark Lanegan Audio CD de audio
common.buy 11.89 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Libro Tapa dura
common.buy 13.49 €
Burnout-Syndrom Kirsten Michels / Libro Tapa blanda
common.buy 15.89 €
Industrietourismus in Deutschland Anja Schramm / Libro Tapa blanda
common.buy 72.79 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Libro Tapa blanda
common.buy 13.89 €
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 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Libro Tapa blanda
common.buy 11.59 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Libro Tapa blanda
common.buy 52.89 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Libro Tapa blanda
common.buy 111.89 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr Reinhold Koullen / Libro Tapa blanda
common.buy 13.59 €
De la maceta a la mesa McTernan / Libro Tapa blanda
common.buy 20.49 €
First Impressions A guide to drawing materials / Video DVD
common.buy 5.09 €

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 €
Housing, Fuel Poverty and Health HEALY / Libro Tapa blanda
common.buy 82.89 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Libro Tapa dura
common.buy 198.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.29 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Libro Tapa blanda
common.buy 9.89 €
Water Trading and Global Water Scarcity Josefina Maestu / Libro Tapa blanda
common.buy 80.89 €
River of Light and Shadow Allen Kent / Libro Tapa blanda
common.buy 10.39 €
The Life and Remains of Douglas Jerrold Blanchard Jerrold / Libro Tapa blanda
common.buy 43.59 €
Arthur and Friends Mikael Lindnord / Libro Tapa blanda
common.buy 16.59 €
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 €
Popular
I Am Not Jessica Chen Ann Liang / Libro Tapa blanda
common.buy 10.49 €
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 €
Clockwork: The Wolves of Delta Torrance Foit / Libro Tapa blanda
common.buy 15.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 €

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