- 5 Risultati
prezzo più basso: € 2,49, prezzo più alto: € 77,84, prezzo medio: € 51,68
1
Ordina
da AbeBooks.de
CHF 2,55
(indicativi € 2,49)
Spedizione: € 20,481
Ordina
Dettagli del offerente
Link sponsorizzato
Koymans, Ron:

Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) - edizione con copertina flessibile

2008, ISBN: 3540562834

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

NOT NEW BOOK. Costi di spedizione: EUR 20.48 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
Chiudere (X)
2
Specifying Message Passing and Time-Critical Sys - Koymans, R
Ordina
da Averdo.com
€ 68,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Koymans, R:

Specifying Message Passing and Time-Critical Sys - edizione con copertina flessibile

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… Altro …

Nr. 71103428. Costi di spedizione:, Next Day, DE. (EUR 0.00)
Chiudere (X)
3
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Koymans, Ron
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - nuovo libro

1992

ISBN: 3540562834

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
4
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Koymans, Ron
Ordina
da Achtung-Buecher.de
€ 77,84
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - nuovo libro

1992, ISBN: 3540562834

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

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
5
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Ron Koymans
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Ron Koymans:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Autore:
Titolo:
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.

Informazioni dettagliate del libro - Specifying Message Passing and Time-Critical Systems with Temporal Logic


EAN (ISBN-13): 9783540562832
ISBN (ISBN-10): 3540562834
Copertina flessibile
Anno di pubblicazione: 1992
Editore: Springer Berlin Heidelberg
180 Pagine
Peso: 0,281 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-09-11T07:45:20+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-08-18T16:44:09+02:00 (Zurich)
ISBN/EAN: 3540562834

ISBN - Stili di scrittura alternativi:
3-540-56283-4, 978-3-540-56283-2
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: computer systems, passing time, logic computer science, lecture notes computer science, the message, passing through

Dati dell'editore

Autore: Ron Koymans
Titolo: Lecture Notes in Computer Science; Specifying Message Passing and Time-Critical Systems with Temporal Logic
Editore: Springer; Springer Berlin
166 Pagine
Anno di pubblicazione: 1992-12-14
Berlin; Heidelberg; DE
Lingua: Inglese
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.
< Per archiviare...