Tallenna
Design, Specification and Verification of Interactive Systems '97
e-kirja, 2012
englanti
Lue Adobe DRM-yhteensopivassa e-kirjojen lukuohjelmassaTämä e-kirja on kopiosuojattu Adobe DRM:llä, mikä vaikuttaa siihen, millä alustalla voit lukea kirjaa. Lue lisää
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
- Alaotsikko
- Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
- Toimittaja
- Juan C. Torres, Michael D. Harrison
- ISBN
- 9783709168783
- Kieli
- englanti
- Julkaisupäivä
- 6.12.2012
- Kustantaja
- Springer Vienna
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone
