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…
AbeBooks.de getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 20.48 Details... |
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…
Averdo.com Nr. 71103428. Versandkosten:, Next Day, DE. (EUR 0.00) Details... |
1992, ISBN: 3540562834
1992 Kartoniert / Broschiert Theoretische Informatik, Systemanalyse und -design, formalspecification; formaleSpezifikation; MessagePassing; Real-timesystems; Sage; TemporalTemporaleLogi… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1992, ISBN: 3540562834
1992 Kartoniert / Broschiert Theoretische Informatik, Systemanalyse und -design, formalspecification; formaleSpezifikation; MessagePassing; Real-timesystems; Sage; TemporalTemporaleLogi… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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…
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…
1992
ISBN: 3540562834
1992 Kartoniert / Broschiert Theoretische Informatik, Systemanalyse und -design, formalspecification; formaleSpezifikation; MessagePassing; Real-timesystems; Sage; TemporalTemporaleLogi… Mehr…
1992, ISBN: 3540562834
1992 Kartoniert / Broschiert Theoretische Informatik, Systemanalyse und -design, formalspecification; formaleSpezifikation; MessagePassing; Real-timesystems; Sage; TemporalTemporaleLogi… Mehr…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Berlin)
Detailseite zuletzt geändert am 2023-08-18T16:44:09+02:00 (Berlin)
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...