Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Compositional Verification of Concurrent and Real-Time Systems

BookHardcover
Ranking42763in
CHF134.00

Description

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.
More descriptions

Details

ISBN/GTIN978-1-4020-7025-9
Product TypeBook
BindingHardcover
PublisherSpringer
Publishing date30/04/2002
Edition2002
SeriesThe Springer International Series in Engineering and Computer Science
Series no.676
Pages196 pages
LanguageEnglish
SizeWidth 160 mm, Height 241 mm, Thickness 17 mm
Weight500 g
Article no.1202568
CatalogsBuchzentrum
Data source no.1763233
More details

Series

Author

Subjects