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
LEADER 02201cam a2200505 4500
001 PPN055119719
003 http://www.sudoc.fr/055119719
005 20240531154900.0
010 |a 3-540-41663-3  |b br. 
020 |a US  |b 201020058 
035 |a (OCoLC)45835561 
035 |a ocm45835561 
100 |a 20010126h20012001k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a DE 
105 |a a a 101yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Interactive systems  |e design, specification, and verification  |e 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000  |e revised papers  |f Philippe Palanque, Fabio Patern'o (eds.) 
214 0 |a Berlin  |a New York  |c Springer 
214 4 |d C 2001 
215 |a 1 vol. (VI-250 p.)  |c ill.  |d 24 cm 
225 2 |a Lecture notes in computer science  |v 1946 
320 |a Notes bibliogr. Index 
410 | |0 001610368  |t Lecture notes in computer science  |x 0302-9743  |v 1946 
452 | |0 155237683  |t Interactive systems  |o design, specification, and verification  |o 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5 6, 2000  |o revised papers  |f [edited by] Philippe Palanque, Fabio Paternò  |c Berlin [etc.]  |n Springer  |d 201X  |s Lecture notes in computer science  |y 978-3-540-44675-0 
606 |3 PPN027249883  |a Systèmes conversationnels (informatique)  |2 rameau 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
676 |a 004  |v 21 
680 |a QA76.9.I58  |b D78 2000 
701 1 |3 PPN050268228  |a Palanque  |b Philippe  |f 1966-....  |4 070 
701 1 |3 PPN084590971  |a Paternò  |b Fabio  |f 1960-....  |4 070 
710 1 2 |3 PPN253811201  |a International Workshop on the design, specification and verification of Interactive Systems  |d 07  |f 2000  |e Limerick, Irlande  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20221019  |g AFNOR 
979 |a IUTN 
930 |5 441092206:274148331  |b 441092206  |j s 
991 |5 441092206:274148331  |a Rétroconversion IUT Nantes 
991 |5 441092206:274148331  |a Exemplaire modifié automatiquement. le 25-01-2023 15:33 
998 |a 467207