Amir Pnueli – författare
Visar alla böcker från författaren Amir Pnueli. Handla med fri frakt och snabb leverans.
13 produkter
Temporal Verification of Reactive Systems
Safety
Inbunden, 1995
1126 kr
Lägg i varukorg
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable …
Temporal Logic of Reactive and Concurrent Systems
Specification
Inbunden, 1991
1238 kr
Lägg i varukorg
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying …
Temporal Logic of Reactive and Concurrent Systems
Specification
E-bok, 2012
755 kr
Lägg i varukorg
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying …
Temporal Verification of Reactive Systems
Safety
E-bok, 2012
1459 kr
Lägg i varukorg
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable …
Temporal Logic of Reactive and Concurrent Systems
Specification
Häftad, 2012
567 kr
Lägg i varukorg
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying …
Temporal Verification of Reactive Systems
Safety
Häftad, 2012
1238 kr
Lägg i varukorg
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable …
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Av Freek Wiedijk, Oded Maler m. fl.
Häftad, 2003
1129 kr
Lägg i varukorg
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which …
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Av Amir Pnueli, Oded Maler m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which …
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Av Amir Pnueli, Hans Langmaack m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
This book originates from the International Symposium on Compositionality, COMPOS''97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a …
Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings
Av Behnam Banieqbal, Howard Barringer m. fl.
Häftad, 1989
568 kr
Lägg i varukorg
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Av Willem-Paul de Roever, Hans Langmaack m. fl.
Häftad, 1998
1129 kr
Lägg i varukorg
This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a …
Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Av Amir Pnueli, Andrei Voronkov
Häftad, 2010
568 kr
Lägg i varukorg
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating …
Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Av Andrei Voronkov, Amir Pnueli
E-bok, 2010
755 kr
Lägg i varukorg
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating …
