Siirry suoraan sisältöön
Foundations of Real-Time Computing: Formal Specifications and Methods
Tallenna

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.
Painos
1991 ed.
ISBN
9780792391678
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
31.8.1991
Kustantaja
Springer
Sivumäärä
316