- 5 Ergebnisse
Kleinster Preis: € 2,49, größter Preis: € 77,84, Mittelwert: € 51,68
1
Bestellen
bei AbeBooks.de
CHF 2,55
(ca. € 2,49)
Versand: € 20,481
Bestellengesponserter Link
Koymans, Ron:

Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 3540562834

[EAN: 9783540562832], Gebraucht, sehr guter Zustand, [PU: Springer], IT-AUSBILDUNG & -BERUFE / COMPUTER INTERNET NATURWISSENSCHAFTEN TECHNIK MATHEMATIK REINE, 180 Seiten Gepflegtes ehemal… Mehr…

NOT NEW BOOK. Versandkosten: EUR 20.48 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
2
Specifying Message Passing and Time-Critical Sys - Koymans, R
Bestellen
bei Averdo.com
€ 68,99
Versand: € 0,001
Bestellengesponserter Link

Koymans, R:

Specifying Message Passing and Time-Critical Sys - Taschenbuch

ISBN: 9783540562832

Erscheinungsdatum: 14.12.1992, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Specifying Message Passing and Time-Critical Systems with Temporal Logic, Auflage: 1992, Autor… Mehr…

Nr. 71103428. Versandkosten:, Next Day, DE. (EUR 0.00)
3
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Koymans, Ron
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - neues Buch

1992

ISBN: 3540562834

1992 Kartoniert / Broschiert Theoretische Informatik, Systemanalyse und -design, formalspecification; formaleSpezifikation; MessagePassing; Real-timesystems; Sage; TemporalTemporaleLogi… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Koymans, Ron
Bestellen
bei Achtung-Buecher.de
€ 77,84
Versand: € 0,001
Bestellengesponserter Link
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - neues Buch

1992, ISBN: 3540562834

1992 Kartoniert / Broschiert Theoretische Informatik, Systemanalyse und -design, formalspecification; formaleSpezifikation; MessagePassing; Real-timesystems; Sage; TemporalTemporaleLogi… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Ron Koymans
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Ron Koymans:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Taschenbuch

ISBN: 9783540562832

*Specifying Message Passing and Time-Critical Systems with Temporal Logic* - Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, English,, International, Gebundene, Ausgaben… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Specifying Message Passing and Time-Critical Systems with Temporal Logic

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.

Detailangaben zum Buch - Specifying Message Passing and Time-Critical Systems with Temporal Logic


EAN (ISBN-13): 9783540562832
ISBN (ISBN-10): 3540562834
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin Heidelberg
180 Seiten
Gewicht: 0,281 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-09-11T07:45:20+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-08-18T16:44:09+02:00 (Zurich)
ISBN/EAN: 3540562834

ISBN - alternative Schreibweisen:
3-540-56283-4, 978-3-540-56283-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: computer systems, passing time, logic computer science, lecture notes computer science, the message, passing through


Daten vom Verlag:

Autor/in: Ron Koymans
Titel: Lecture Notes in Computer Science; Specifying Message Passing and Time-Critical Systems with Temporal Logic
Verlag: Springer; Springer Berlin
166 Seiten
Erscheinungsjahr: 1992-12-14
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,590 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VIII, 166 p.

BC; Theory of Computation; 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; Computer System Implementation; Applications of Mathematics; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; 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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387562834 Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) (Koymans, Ron)


< zum Archiv...