Author: Havelund, Klaus a. o. (Edts.):
Title: 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 ; Vol. 4262).
Description: Berlin, Springer 2006. VIII, 253 S.; Ill. Paperback Very good. Shrink wrapped. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.

Keywords: Softwaretest ; Model Checking ; Verifikation ISBN: 9783540496991


See more books from our catalog: Informatik, Hardware, Software