Formal Methods for Real-Time and Probabilistic Systems

Name: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783540660101
Price: 4358.00 INR
Availability: InStock

5th International AMAST Workshop

by International AMAST Workshop, ARTS'99 (5th 1999 Städtliche Volkshochschule in Bamberg)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1999 · Paperback

₹4,358

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 1999, Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop runs to 353 pages in paperback.

The book deals with Congresses, Formal methods (Computer science) and Real-time data processing.

Subjects

Book details

ISBN-13: 9783540660101
ISBN-10: 3540660100
Authors: International AMAST Workshop, ARTS'99 (5th 1999 Städtliche Volkshochschule in Bamberg)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 1999
Edition: 1999 ed.
Binding: Paperback
Pages: 353
Language: English
Condition: New
Subject: Computers & Internet