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.
ThriftBooks sells millions of used books at the lowest
everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We
deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15.
ThriftBooks.com. Read more. Spend less.