ISBN9783642340260 (e-ISBN : pt. 1)
9783642340253 (pt. 1)
9783642340321 (e-ISBN : pt. 2)
9783642340314 (pt. 2)
その他のタイトルLearnLib tutorial: from finite automata to register interface programs : Linux driver verification workshop : ISoLA week : Oct 2012, Heraklion, Greece.
一般注記Papers and abstracts.
Described as "Welcome to ISoLA 2012, (...) during October 14-18, 2012, (...)" -- pref.
"The program of the symposium consisted of a collection of special tracks (...) and of the following four events (...)" -- pref.
書誌注記Includes bibliographical references and author index.