Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - maanantai 1. maaliskuuta 1982
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

B. T. Hailpern

Hinta
Mex$ 1.149,50

Tilattu etävarastosta

Arvioitu toimitus ti - ke 5. - 13. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

209 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 1. maaliskuuta 1982
ISBN13 9783540112051
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 209
Mitta 155 × 233 × 11 mm   ·   312 g
Kieli English  

Katso kaikki joka sisältää B. T. Hailpern ( Esim. Paperback Book )