Design, specification, and verification of interactive systems '96 : proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996 Eurographics /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Wien ; New York :
Springer,
[1996]
|
| Series: | Springer computer science.
|
| Subjects: |
| Item Description: | "This book is the final outcome of the 3rd International Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'96), that was held in Namur, (Belgium), from June 5 to 7, 1996"--Preface. |
|---|---|
| Physical Description: | xi, 383 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 3211829008 |