Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science, 1601)

Full Title:	Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science, 1601)
ISBN:	3540660100
ISBN13:	9783540660101
List Price:	USD $109.00
Publisher:	Random Publisher
Edition:	1st
Publish Date:	2020
Binding:	Hardcover
Pages:	300 pages
Synopsis:	Lorem ipsum dolor sit amet...
Language:	English
Dimensions:	Height: 8 in, Length: 5 in, Width: 1 in
Weight:	1 lb
Subjects:	Random Subject

Need full data? Sign up and get access to the full database of over 35 million books.

Get access to ISBNdb book data API

Access ISBNdb extensive book database via API. Over 39 million books & 19 data items per book to enhance your project. Subscription plans start at $14.95/mo. Free 7-day trial.