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

Foundations of Real-Time Computing: Formal Specifications and Methods

Lägsta pris på PriceRunner
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
1991 ed.
ISBN
9780792391678
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
1991-08-31
Förlag
Springer
Sidor
316