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

By Fabio ed. Paterno

This book is the proceedings of the first Eurographics workshop on design, specification and verification of interactive systems, held in June 1994. It reviews the state of the art, compares different approaches, and indicates the relevant results.

• Format: Paperback
• Language: English
• ISBN: 3642871178
• ISBN13: 9783642871177
• Release Date: February 2012
• Publisher: Springer
• Length: 447 Pages
• Weight: 1.43 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"