Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science - Andri M Van Tilborg - Books - Springer - 9780792391678 - August 31, 1991
In case cover and title do not match, the title is correct

Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition

Andri M Van Tilborg

Price
R$ 1,069.90
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 13 - 26
Add to your iMusic wish list

Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition

This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.


316 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 31, 1991
ISBN13 9780792391678
Publishers Springer
Pages 316
Dimensions 155 × 235 × 19 mm   ·   639 g
Editor Koob, Gary M.
Editor Van Tilborg, Andre M.

Show all

More by Andri M Van Tilborg