Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Softcover
Synopsis
Specifying Message Passing and Time-Critical Systems with Temporal Logic 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. Full description
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Specifying Message Passing and Time-Critical Systems...
Stock Image
Specifying Message Passing and Time-Critical Systems With Temporal Logic
Seller: Mahler Books, PFLUGERVILLE, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Lecture Notes in Computer Science; 9 X 6 X 0.50 inches; 164 pages. Seller Inventory # 122112-320-181
Stock Image
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. viii + 164 Index. Seller Inventory # 2650380094
Stock Image
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. viii + 164. Seller Inventory # 1850380084
Seller Image
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)
Published by
Springer-Verlag 01.12.1992., 1992
ISBN 10: 0387562834
ISBN 13: 9780387562834
Used
Softcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 248 22,9 x 15,2 x 1,3 cm, Taschenbuch. Seller Inventory # 352195