This book is currently unavailable on Open Library, check out available alternatives.
An edition of Formal methods for real-time and probabilistic systems (1999)

Formal methods for real-time and probabilistic systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

by

Cover of: Formal methods for real-time and probabilistic systems by ARTS'99 (Conference) (1999 Bamberg, Germany), ARTS'99 (Conference) (1999 Bamberg, Germany)
Formal methods for real-time and probabilistic systems by ARTS'99 (Conference) (1999 Bamberg, Germany), ARTS'99 (Conference) (1999 Bamberg, Germany)
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
July 30, 2014 | History
Edit
An edition of Formal methods for real-time and probabilistic systems (1999)

Formal methods for real-time and probabilistic systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

by

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

Publish Date
Publisher
Springer
Language
English
Pages
353

Subjects

Congresses Software engineering Abstract data types (Computer science) Systems engineering Real-time data processing Verification Computer software
Edition Availability
Cover of: Formal methods for real-time and probabilistic systems
Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
1999, Springer
in English
  • Nearby Libraries

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Berlin, London
Series
Lecture notes in computer science -- 1601

Classifications

Dewey Decimal Class
005.1

The Physical Object

Pagination
x,353p. :
Number of pages
353

Edition Identifiers

Open Library
OL22596196M
ISBN 10
3540660100
Goodreads
2074870

Work Identifiers

Work ID
OL13631663W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON