Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /

Bibliographic Details
Corporate Authors:	DSV-IS 2000 Limerick, Ireland, SpringerLink (Online service)
Other Authors:	Palanque, Philippe, 1966-, Paternò, Fabio, 1960-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 1946.
Subjects:	Interactive computer systems > Congresses. vérification système. spécification système. conception système. interface utilisateur. interaction homme-machine. système interactif. Systèmes conversationnels (Informatique) > Congrès. Interactive computer systems. Interactieve computersystemen. Interfaces. Programmatuurtechniek. Verificatie. Vormgeving. Systèmes conversationnels (informatique) > Congrès. Benutzeroberfläche. Formale Spezifikationstechnik. Groupware. Kongress. Mensch-Maschine-Kommunikation. Softwareentwicklung. Softwarespezifikation. Verteiltes System. Electronic books. Kongress > Limerick (Shannon) > 2000. Conference proceedings. Limerick (Shannon, 2000)
Online Access:	Connect to the full text of this electronic book

Remote Storage