Design, Specification and Verification of Interactive Systems '95 1

Data & IT

Design, Specification and Verification of Interactive Systems '95

Philippe Palanque • Remi Bastide

Pocket

729:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

374 sidor
1995

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. The book should be of interest to all scientists working in the formal aspects of the interactive systems field, but it is also useful for the practitioner involved in the design of reliable interactive systems.

Författare: Philippe Palanque, Remi Bastide
Format: Pocket/Paperback
ISBN: 9783211827390
Språk: Engelska
Antal sidor: 374
Utgivningsdatum: 1995-09-14
Förlag: Springer Verlag GmbH