Interactive Systems: Design, Specification, and Verification 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 /
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing,...
Πλήρης περιγραφή
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: |
SpringerLink (Online service) |
Άλλοι συγγραφείς: |
Urban, Bodo
(Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt),
Vanderdonckt, Jean
(Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt),
Limbourg, Quentin
(Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή
Ηλ. βιβλίο
|
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
Έκδοση: | 1st ed. 2002. |
Σειρά: | Lecture Notes in Computer Science,
2545
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link
|