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 MARC Bot
July 1, 2019 | History

Interactive Systems:Design, Specification, and Verification

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

This work 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
July 1, 2019 Created by MARC Bot import new book