Interactive Systems. Design, Specification, and Verification

AuthID
 P-011-5TM
1
Author(s)
Document Type
Book
Year published
2007
Published
Indexing
Openlibrary®
Book Cover
Publication Identifiers
Openlibrary: OL9773402M
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service