Runtime Verification

Full text!
Format:
e-book
Title:
Runtime Verification
Author:
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Language:
English
Publisher:
Springer Berlin Heidelberg 2010
ISBN:
3-642-16611-3
9786613568069
3-642-16612-1
1-280-39014-X
Subject:
Information Technology Software Engineering
Permalink:
http://bibtest.howest.be/catalog/ebk03:2670000000056651?locale=en