Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Palanque, Philippe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Paterno, Fabio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 1946
• Θέματα: Computer communication systems.; Computers.; Application software.; User interfaces (Computer systems).; Computer graphics.; Software engineering.; Computer Communication Networks.; Theory of Computation.; Computer Applications.; User Interfaces and Human Computer Interaction.; Computer Graphics.; Software Engineering.

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design...