Book serie: / Книги серии: Lecture Notes in Computer Science 1946 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 1946

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

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

pdf

Author: Timothy N. Wright T. C. Nicholas Graham Tore Urnes (auth.) Philippe Palanque Fabio Paternò (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

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

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

pdf

Author: Timothy N. Wright T. C. Nicholas Graham Tore Urnes (auth.) Philippe Palanque Fabio Paternò (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0