Online Library TheLib.net » Author books / Книги автора Kris Luyten Karin Coninx (auth.) Chris Johnson (eds.)
book Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
pdf
00
27.01.2024
0
0
Read online