Michael D. Harrison – författare
Visar alla böcker från författaren Michael D. Harrison. Handla med fri frakt och snabb leverans.
5 produkter
Design, Specification and Verification of Interactive Systems ’97
Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
Av Michael D. Harrison, Juan C. Torres
Häftad, 1997
568 kr
Lägg i varukorg
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 …
Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Av Stephen W. Gilroy, Michael D. Harrison
Häftad, 2006
568 kr
Lägg i varukorg
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and …
Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Av Michael D. Harrison, Stephen W. Gilroy
E-bok, 2006
755 kr
Lägg i varukorg
Design, Specification and Verification of Interactive Systems '97
Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997
Av Juan C. Torres, Michael D. Harrison
E-bok, 2012
755 kr
Lägg i varukorg
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 …
