Amir Pnueli - Böcker

Visar alla böcker från författaren Amir Pnueli.
10 produkter
Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Inbunden

Temporal Verification of Reactive Systems

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1995

1 459 kr

Skickas inom 7-10 vardagar
Zohar Manna, Amir Pnueli - Temporal Logic of Reactive and Concurrent Systems, Inbunden

Temporal Logic of Reactive and Concurrent Systems

Av Zohar Manna, Amir Pnueli

Inbunden, Engelska, 1991

1 599 kr

Skickas inom 7-10 vardagar
Zohar Manna, Amir Pnueli - Temporal Logic of Reactive and Concurrent Systems, Häftad

Temporal Logic of Reactive and Concurrent Systems

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar
Zohar Manna, Amir Pnueli - Temporal Verification of Reactive Systems, Häftad

Temporal Verification of Reactive Systems

Av Zohar Manna, Amir Pnueli

Häftad, Engelska, 2012

1 599 kr

Skickas inom 7-10 vardagar
Freek Wiedijk, Oded Maler, Amir Pnueli - Hybrid Systems: Computation and Control, Häftad
Del 2623 - Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

Av Freek Wiedijk, Oded Maler, Amir Pnueli

Häftad, Engelska, 2003

1 459 kr

Skickas inom 7-10 vardagar
Andrzej Blikle, Don Barstow, W. Brauer, P. Brinch Hansen, D. Gries, David Luckham, C. Moler, Amir Pnueli, G. Seegmuller, Josef Stoer, Niklaus Wirth, D. Barstow, D. Luckham, N. Wirth, A. Pnueli, G. Seegmüller, J. Stoer - MetaSoft Primer, Häftad
Del 288 - Lecture Notes in Computer Science

MetaSoft Primer

Av Andrzej Blikle, Don Barstow, W. Brauer, P. Brinch Hansen, D. Gries, David Luckham, C. Moler, Amir Pnueli, G. Seegmuller, Josef Stoer, Niklaus Wirth, D. Barstow, D. Luckham, N. Wirth, A. Pnueli, G. Seegmüller, J. Stoer

Häftad, Engelska, 1987

739 kr

Skickas inom 7-10 vardagar
Behnam Banieqbal, Howard Barringer, Amir Pnueli - Temporal Logic in Specification, Häftad
Del 398 - Lecture Notes in Computer Science

Temporal Logic in Specification

Av Behnam Banieqbal, Howard Barringer, Amir Pnueli

Häftad, Engelska, 1989

739 kr

Skickas inom 7-10 vardagar
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever - Compositionality: The Significant Difference, Häftad
Del 1536 - Lecture Notes in Computer Science

Compositionality: The Significant Difference

Av Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Häftad, Engelska, 1998

1 459 kr

Skickas inom 7-10 vardagar
Amir Pnueli, Andrei Voronkov, Irina Virbitskaite - Perspectives of Systems Informatics, Häftad

Perspectives of Systems Informatics

Av Amir Pnueli, Andrei Voronkov, Irina Virbitskaite

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar