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.49 USD
Availability: OutOfStock
Author: Klaus Havelund

Price

$ 55.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

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

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Media	Books Paperback Book (Book with soft cover and glued back)
Released	December 7, 2006
ISBN13	9783540496991
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	255
Dimensions	155 × 235 × 14 mm · 385 g
Language	German
Editor	Havelund, Klaus
Editor	Nunez, Manuel
Editor	Rosu, Grigore
Editor	Wolff, Burkhart