Gå direkt till innehållet
Temporal Verification of Reactive Systems
Spara

Temporal Verification of Reactive Systems

Engelska
Lägsta pris på PriceRunner
The family of reactive systems includes many classes of programs whose correct and reliable construction is con­ sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.
Undertitel
Safety
ISBN
9781461287018
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-08-22
Sidor
512