Formal Approaches to Software Testing and Runtime Verification

Name: Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783540496991
Price: 2656.00 INR
Availability: InStock

First Combined International Workshops FATES 2006 and RV 2006

by Klaus-havelund

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2007 · Paperback

₹2,656

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2007, Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006 by Klaus-havelund runs to 255 pages in paperback. The work was first published in 2006.

Topics covered include Congresses, Formal methods (Computer science), Testing and Computer software.