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

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

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 Englanti  

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