Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science - Andri M Van Tilborg - Kirjat - Springer - 9780792391678 - lauantai 31. elokuuta 1991
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition

Andri M Van Tilborg

Hinta
CA$ 279,39

Tilattu etävarastosta

Arvioitu toimitus ma - ke 11. - 20. elo
Lisää iMusic-toivelistallesi
Eller

Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition

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.


316 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä lauantai 31. elokuuta 1991
ISBN13 9780792391678
Tuottaja Springer
Sivujen määrä 316
Mitta 155 × 235 × 19 mm   ·   639 g
Toimittaja Koob, Gary M.
Toimittaja Van Tilborg, Andre M.

Näytä kaikki

Lisää tuotteita Andri M Van Tilborg