Interactive Systems:Design, Specification, and Verification

9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers

Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
March 28, 2025 | History

Interactive Systems:Design, Specification, and Verification

9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English

Buy this book

Book Details


Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 2545, Lecture notes in computer science -- 2545.

Classifications

Library of Congress
QA76.9.U83

The Physical Object

Format
[Elektronische Ressource] :
Pagination
1 online resource (Online-Ressource.)

Edition Identifiers

Open Library
OL27046273M
ISBN 10
3540362355
ISBN 13
9783540362357
OCLC/WorldCat
699821155

Work Identifiers

Work ID
OL19858364W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
February 25, 2022 Edited by ImportBot import existing book
July 1, 2019 Created by MARC Bot Imported from Internet Archive item record