Editions

Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994

Current edition
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994 by

Lecture Notes in Computer Science

Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994

447 pages

nonfiction computer science science medium-paced
Other editions (1)
Expand filter menu Filter editions
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

nonfiction computer science science medium-paced