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

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

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Palanque Philippe (Auteur), Paternò Fabio (Auteur), International Workshop on the design, specification and verification of Interactive Systems
Collectivité auteur : International Workshop on the design, specification and verification of Interactive Systems 07 2000 Limerick, Irlande (Auteur)
Format : Livre
Langue : anglais
Titre complet : Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers / Philippe Palanque, Fabio Patern'o (eds.)
Publié : Berlin, New York : Springer , C 2001
Description matérielle : 1 vol. (VI-250 p.)
Collection : Lecture notes in computer science ; 1946
Sujets :
Systèmes conversationnels (informatique)
Actes de congrès
Documents associés : Autre format: Interactive systems
Chargement en cours