Titolo: Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science)
Editore: Springer
Data di pubblicazione: 1988
Lingua: Inglese
ISBN 10: 3540503021
ISBN 13: 9783540503026
Rilegatura: Paperback
Condizione: Very Good
Peso: 12 once

Descrizione articolo

Riassunto

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.

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.

Descrizione libreria

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

GuthrieBooks
TX, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

At this time we accept payment through Visa or Mastercard.

Diritto di recesso

Condizioni di spedizione

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 4 a 14 giorni lavorativi	Da 3 a 6 giorni lavorativi
Primo articolo	EUR 6.04	EUR 12.09

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.