Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - 14. desember 1992
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 629

Bestillingsvarer

Forventes levert 20. aug - 3. sep
Få varsel om nye utgivelser fra Ron Koymans

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 14. desember 1992
ISBN13 9783540562832
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 174
Mål 155 × 233 × 9 mm   ·   267 g
Språk Engelsk  

Mer fra samme **utgiver**

Se alt med Ron Koymans ( f.eks. Pocketbok )