Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - maanantai 14. joulukuuta 1992
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Ron Koymans
Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science 1992 Edition

Hinta
€ 54,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 2. - 10. joulu
Joululahjoja voi vaihtaa 31.1. asti
Saat ilmoituksen artistin Ron Koymans uusista julkaisuista

Asiakkaamme sanovat:

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

Ei vielä arvioitu

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.

174 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 14. joulukuuta 1992
ISBN13 9783540562832
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 174
Mitta 155 × 233 × 9 mm   ·   267 g
Kieli Englanti  

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Ron Koymans