Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Autor:
Stephen W. Gilroy, Michael D. Harrison
Dostupnost:
Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 310
Kč
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Sp...
