Design, Specification and Verification of Interactive Systems '95: Proceedings of Eurographics Workshop in Toulouse, France, June 7-9, 1995

Palanque, Philippe:

ISBN 10: 3211827390 / ISBN 13: 9783211827390

Edité par Springer Verlag Wien, 1995

A propos de cet article

370 Seiten, 153 figures Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 725. N° de réf. du vendeur 2201218

Détails bibliographiques

Titre : Design, Specification and Verification of ...

Éditeur : Springer Verlag Wien

Date d'édition : 1995

Reliure : Broschiert

Etat : Gut

A propos de ce titre

Synopsis :

Design Specification and Verification of Interactive Systems '95 This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.