Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - 14. decembra 1992
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 59,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 26. avg - 9. sep
Prejemajte obvestila o novih izdajah izvajalca Ron Koymans

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 14. decembra 1992
ISBN13 9783540562832
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 174
Dimenzije 155 × 233 × 9 mm   ·   267 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Ron Koymans ( Na primer Paperback Book )