- 5 Results
Lowest price: € 44.99, highest price: € 57.86, average price: € 52.36
1
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Ron Koymans
Order
at ZVAB.com
€ 57.86
Shipment: € 0.001
Order
Provider details
Sponsored link
Ron Koymans:

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Paperback

1992, ISBN: 3540562834

[EAN: 9783540562832], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], FORMALSPECIFICATION; FORMALESPEZIFIKATION; MESSAGEPASSING; REAL-TIMESYSTEMS; SAGE; TEMPORALTEMPORALELOGIK; TIME… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
close (x)
2
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Specifying Message Passing and Time-Critical Systems with Temporal Logic - new book

ISBN: 9783540562832

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two a… More...

Nr. 978-3-540-56283-2. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
close (x)
3
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651) - Koymans, Ron
Order
at amazon.de
€ 51.98
Shipment: € 3.001
Order
Provider details
Sponsored link
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651) - Paperback

2008

ISBN: 9783540562832

Springer, Taschenbuch, Auflage: 1992, 180 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783540562832, 0.27 kg, Hardware & Technik, Computer & Internet, K… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (x)
4
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Ron Koymans
Order
at Hugendubel.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Ron Koymans:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Paperback

ISBN: 9783540562832

*Specifying Message Passing and Time-Critical Systems with Temporal Logic* - Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Büche… More...

Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
close (x)
5
Order
at Biblio.co.uk
$ 47.94
(aprox. € 44.99)
Shipment: € 18.111
Order
Provider details
Sponsored link
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) - Paperback

1992, ISBN: 9783540562832

Springer, 1992-12-17. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1992-12-17, 3

Shipping costs: EUR 18.11 GuthrieBooks
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
Author:
Title:
ISBN:

3540562834


This monograph is concerned with the application of temporallogic to the areas of message passing and time-criticalsystems. Apart from the practicaluse of temporal logic forthese two application domains, the book also incorporatespure fundamental studies on temporal logic.The motivation to study message passing and time criticalsystems stems from their importance in practice. Messagepassing is one of the most important means of interprocesscommunication in distributed systems, either on a highlevel, as in telecommunications applications, or on a lowerlevel, as in implementations of languages like Ada. As fortime-critical systems, among the growing number of real-timeapplications there are some highly critical systems such ascomputer controlled chemical plants and nuclear powerstations.The monograph shows how standard temporal logic can be usedfor the specification of message passing systems, anddevelops a special temporal logic for reasoning aboutquantitative temporal properties.The main application areais that of distributed real-time systems.

Details of the book - Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)


EAN (ISBN-13): 9783540562832
ISBN (ISBN-10): 3540562834
Paperback
Publishing year: 1992
Publisher: Springer
180 Pages
Weight: 0,281 kg
Language: eng/Englisch

Book in our database since 2007-09-11T06:45:20+01:00 (London)
Detail page last modified on 2024-04-16T21:10:51+01:00 (London)
ISBN/EAN: 3540562834

ISBN - alternate spelling:
3-540-56283-4, 978-3-540-56283-2
Alternate spelling and related search-keywords:
Book title: computer systems, passing time, logic computer science, lecture notes computer science, the message, passing through

Information from Publisher

Author: Ron Koymans
Title: Lecture Notes in Computer Science; Specifying Message Passing and Time-Critical Systems with Temporal Logic
Publisher: Springer; Springer Berlin
166 Pages
Publishing year: 1992-12-14
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 166 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Formal Specification; Formale Spezifikation; Message Passing; Real-Time Systems; Sage; Temporal Logic; Temporale Logik; Time-Critical Systems; Zeitsensitive Systeme; computer; distributed systems; logic; real-time; Theory of Computation; Computer System Implementation; Applications of Mathematics; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Systemanalyse und -design; Angewandte Mathematik; EA

How to specify.- A review of modal and temporal logic.- Polymodal logics with inequality.- Message passing systems.- Time-critical systems.- Summary and concluding remarks.
< to archive...