Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000. Revised Pape by

Lecture Notes in Computer Science

Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000. Revised Pape

258 pages paperback

2 editions

nonfiction computer science science medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for t...

Show More

Community Reviews

Loading...

Content Warnings

Loading...