Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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


Book Informaton

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

Author

Philippe Palanque; Fabio Paterno

Series

Lecture Notes in Computer Science

Volume

1946

Year of Publication

2001

Publisher

Springer Berlin Heidelberg

Pages

X, 258

Language

en

ISBN

9783540416630, 9783540446750, 3540416633

ARI Id

1664334914251


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-X
1-17
19-33
35-50
51-63
65-77
79-95
97-119
121-133
135-150
151-168
169-190
191-205
207-226
227-246
247-251
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries