Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by WorkBot
March 10, 2010 | History

Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings 1 edition

Formal methods for real-time and probabilistic systems
International AMAST Workshop, ...

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy

Amazon
Better World Books $6.98 (used)

Links (leaves Open Library)

Jeepers. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Formal methods for real-time and probabilistic systems
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Joost-Pieter Katoen (ed.).

Published 1999 by Springer in New York .
Written in English.

Edition Notes

Includes bibliographical references.

Series
Lecture notes in computer science -- 1601
Genre
Congresses.

Classifications

Library of Congress
QA76.9.F67 I577 1999

The Physical Object

Pagination
x, 353 p. :
Number of pages
353

ID Numbers

Open Library
OL19142652M
ISBN 10
3540660100
LC Control Number
99015827
Goodreads
2074870

History Created November 11, 2009 · 3 revisions Download catalog record: RDF / JSON

March 10, 2010 Edited by WorkBot update details
January 29, 2010 Edited by WorkBot add more information to works
November 11, 2009 Created by ImportBot add works page