Gå direkt till innehållet
Foundations of Real-Time Computing: Formal Specifications and Methods
Spara

Foundations of Real-Time Computing: Formal Specifications and Methods

This volume contains a selection of papers that focus on the state-of­ the-art in formal specification and verification of real-time computing systems.
Upplaga
Softcover reprint of the original 1st ed. 1991
ISBN
9781461367963
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-10-12
Sidor
316