The Testability of Distributed Real-Time Systems - The Springer International Series in Engineering and Computer Science - Werner Schutz - Books - Springer - 9780792393863 - August 31, 1993
In case cover and title do not match, the title is correct

The Testability of Distributed Real-Time Systems - The Springer International Series in Engineering and Computer Science 1993 edition

Price
HK$ 826
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 28 - Aug 3
Get notified about new Werner Schutz releases
Add to your iMusic wish list

Not rated yet

Also available as:

Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems.


144 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 31, 1993
ISBN13 9780792393863
Publishers Springer
Pages 144
Dimensions 156 × 234 × 11 mm   ·   426 g
Language English  

More by Werner Schutz

Show all

More from the same publisher