6 Ebooks by Amir Pnueli
Amir Pnueli & Irina Virbitskaite: Perspectives of Systems Informatics
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 …
PDF
English
DRM
€95.19
Zohar Manna & Amir Pnueli: Temporal Logic of Reactive and Concurrent Systems
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 …
PDF
English
DRM
€57.82
Zohar Manna & Amir Pnueli: Temporal Verification of Reactive Systems
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 …
PDF
English
DRM
€114.70
Krzysztof R. Apt & Frank S. de Boer: Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that …
PDF
English
DRM
€89.55
Oded Maler & Amir Pnueli: Hybrid Systems: Computation and Control
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 …
PDF
English
DRM
€114.33
Hans Langmaack & Amir Pnueli: Compositionality: The Significant Difference
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 …
PDF
English
DRM
€114.13
