Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - 14 december 1992
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 569

Beställningsvara

Förväntad leverans 30 okt - 9 nov
Få avisering om nya utgåvor med Ron Koymans

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 14 december 1992
ISBN13 9783540562832
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 174
Mått 155 × 233 × 9 mm   ·   267 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Ron Koymans