Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science - Eric Y.T. Juan - Books - Springer-Verlag New York Inc. - 9781402070259 - April 30, 2002
In case cover and title do not match, the title is correct

Eric Y.T. Juan
Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science 2002 edition

Price
$ 122.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.

196 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 30, 2002
ISBN13 9781402070259
Publishers Springer-Verlag New York Inc.
Pages 196
Dimensions 155 × 235 × 14 mm   ·   494 g
Language English  

Mere med samme udgiver

See all of Eric Y.T. Juan ( e.g. Hardcover Book and Paperback Book )