Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - December 14, 1992
In case cover and title do not match, the title is correct

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

Price
HK$ 438
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 15 - 19

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released December 14, 1992
ISBN13 9783540562832
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 174
Dimensions 155 × 233 × 9 mm   ·   267 g
Language English  

Mere med samme udgiver

See all of Ron Koymans ( e.g. Paperback Book )