Articoli correlati a Formal Techniques in Real-Time and Fault-Tolerant Systems:...

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988: 331 - Brossura

 
9783540503026: Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988: 331

Sinossi

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

High integrity computing.- Using higher-order logic for modular specification of real-time distributed systems.- Timed specifications for the development of real-time systems.- Applications of temporal logic to the specification of real time systems.- From a synchronous declarative language to a temporal logic dealing with multiform time.- A specification language for reliable real-time systems.- Timed acceptances: A model of time dependent processes.- Responsive sequential processes.- Static analysis of real-time distributed systems.- Low level synchronisation problems in digital systems.- Reasoning about uncertainty in fault-tolerant distributed systems.- Paradigms for real-time systems.- Towards a theory of replicated processing.- Reasoning about atomic objects.- A formal treatment of interference in remote procedure calls.- List of authors and addresses.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
0387503021 Ex-library paperback...
Visualizza questo articolo

EUR 63,89 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780387503028: Formal Techniques in Real-Time and Fault Tolerant Systems: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988

Edizione in evidenza

ISBN 10:  0387503021 ISBN 13:  9780387503028
Casa editrice: Springer Verlag, 1988
Brossura

Risultati della ricerca per Formal Techniques in Real-Time and Fault-Tolerant Systems:...

Immagini fornite dal venditore

Joseph, Mathai
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approach. Codice articolo 4891532

Contatta il venditore

Compra nuovo

EUR 48,37
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Mathai Joseph
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications. Codice articolo 9783540503026

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Mathai Joseph
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo Taschenbuch
Print on Demand

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. Codice articolo 9783540503026

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Joseph, Mathai
Editore: Springer, 1988
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540503026_new

Contatta il venditore

Compra nuovo

EUR 60,29
Convertire valuta
Spese di spedizione: EUR 10,36
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Mathai Joseph
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications. 240 pp. Englisch. Codice articolo 9783540503026

Contatta il venditore

Compra nuovo

EUR 74,89
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Joseph, Mathai
Editore: Springer 1988-09, 1988
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783540503026

Contatta il venditore

Compra nuovo

EUR 76,55
Convertire valuta
Spese di spedizione: EUR 23,03
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Joseph, Mathai [Editor]
Editore: Springer, 1988
ISBN 10: 3540503021 ISBN 13: 9783540503026
Antico o usato Paperback

Da: GuthrieBooks, Spring Branch, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. 0387503021 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a-1127

Contatta il venditore

Compra usato

EUR 45,20
Convertire valuta
Spese di spedizione: EUR 63,89
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Joseph, Mathai
Editore: Springer, 1988
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020168442

Contatta il venditore

Compra nuovo

EUR 51,91
Convertire valuta
Spese di spedizione: EUR 63,89
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Joseph, Mathai
Editore: Springer, 1988
ISBN 10: 3540503021 ISBN 13: 9783540503026
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Print on Demand pp. 240 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5849529

Contatta il venditore

Compra nuovo

EUR 157,46
Convertire valuta
Spese di spedizione: EUR 10,19
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello