Importo totale (1 articolo articoli):
Destinazione ordine:
koymans ron (16 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (16)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (12)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (16)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (11)
- Non Print on Demand (13)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Specifying Message Passing and Time-Critical Systems With Temporal Logic
Da: Mahler Books, PFLUGERVILLE, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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.
-
Specifying Message Passing and Time-critical Systems With Temporal Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,92
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,42
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,65
Spedizione EUR 17,89
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Specifying Message Passing and Time-critical Systems With Temporal Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,16
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Specifying Message Passing and Time-critical Systems With Temporal Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,60
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Specifying Message Passing and Time-Critical Systems with Temporal Logic. Book.
-
Specifying Message Passing and Time-critical Systems With Temporal Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,50
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. viii + 164 Index.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 82,48
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. viii + 164.
-
Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)
Lingua: Inglese
Editore: Springer-Verlag 01.12.1992., 1992
ISBN 10: 0387562834 ISBN 13: 9780387562834
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 76,10
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 248 22,9 x 15,2 x 1,3 cm, Taschenbuch.
-
EUR 53,49
Spedizione EUR 61,42
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Specifying Message Passing and Time-Critical Systems with Temporal Logic | Ron Koymans | Taschenbuch | viii | Englisch | 1992 | Springer | EAN 9783540562832 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1992, 1992
ISBN 10: 3540562834 ISBN 13: 9783540562832
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 180 pp. Englisch.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1992
ISBN 10: 3540562834 ISBN 13: 9783540562832
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 stu.
-
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Lingua: Inglese
Editore: Springer, Springer Dez 1992, 1992
ISBN 10: 3540562834 ISBN 13: 9783540562832
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This monograph is concerned with the application of temporallogic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 180 pp. Englisch.
