Klaus Havelund
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Lecture Notes in Computer Science Klaus Havelund 2006 edition

Name: Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Klaus Havelund

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Lecture Notes in Computer Science

Klaus Havelund

2006 edition

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

272 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	7 de diciembre de 2006
ISBN13	9783540496991
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	255
Dimensiones	155 × 235 × 14 mm · 385 g
Lengua	Alemán
Editor	Havelund, Klaus
Editor	Nunez, Manuel
Editor	Rosu, Grigore
Editor	Wolff, Burkhart