Books by Amir Pnueli

Cover of The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems

by Zohar Manna, Amir Pnueli

1991

Cover of Hybrid systems

Hybrid systems

by Oded Maler, Amir Pnueli, Freek Wiedijk

2003

Cover of Perspectives of Systems Informatics

Perspectives of Systems Informatics

by Amir Pnueli

2010

Cover of Temporal Logic in Specification

Temporal Logic in Specification

by Howard Barringer, Amir Pnueli

2007

Cover of Hybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

by Freek Wiedijk, Oded Maler, Amir Pnueli

2003

Can't find the book you're looking for? Let us know — it helps us improve.