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. - 9781461353492 - October 26, 2012
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 Softcover reprint of the original 1st ed. 2002 edition

Price
$ 106.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - 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     Paperback Book   (Book with soft cover and glued back)
Released October 26, 2012
ISBN13 9781461353492
Publishers Springer-Verlag New York Inc.
Pages 196
Dimensions 155 × 235 × 11 mm   ·   312 g
Language English  

Mere med samme udgiver

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