Interactive Systems. Design, Specification, and Verification

Full text!
Format:
e-book
Title:
Interactive Systems. Design, Specification, and Verification
Author:
Gilroy, Stephen W.; Harrison, Michael D.; Kanade, Takeo; Kittler, Josef
Language:
English
Publisher:
Springer Berlin / Heidelberg 2006
ISBN:
3-540-34145-5
3-540-34146-3
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000232972?locale=en