Interactive Systems. Design, Specification, and Verification
Interactive Systems. Design, Specification, and Verification
Joao Falcao e Cunha
,
Joaquim Jorge
,
Nuno Jardim Nunes
Details
OL Work ID
OL27347066W
Find this book
Goodreads
Open Library