An edition of Interactive Systems:Design, Specification, and Verification (2002)

Interactive Systems:Design, Specification, and Verification

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

by

Cover of: Interactive Systems:Design, Specification, and Verification by Peter Forbrig, Peter Forbrig
Read Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 1, 2019 | History
Edit
An edition of Interactive Systems:Design, Specification, and Verification (2002)

Interactive Systems:Design, Specification, and Verification

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

by

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

Publish Date
Publisher
Springer-Verlag Berlin Heidelberg
Language
English

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Logic design, Information storage and retrieval systems, Computer science, Software engineering
Edition Availability
Cover of: Interactive Systems:Design, Specification, and Verification
Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers
2002, Springer-Verlag Berlin Heidelberg
Elektronische Ressource : in English

Add another edition?

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.)

ID Numbers

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

Source records

Internet Archive item record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 1, 2019 Created by MARC Bot import new book