Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - 14. decembra 1992
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 12. - 20. okt
Dostávajte upozornenia na nové nahrávky interpreta Ron Koymans

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na 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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 14. decembra 1992
ISBN13 9783540562832
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 174
Rozmery 155 × 233 × 9 mm   ·   267 g
Jazyk Angličtina  

Viac od toho istého vydavateľa

Pozrieť všetko od Ron Koymans