Buy Used and New Amir Pnueli Books

Temporal Verification of Reactive Systems: Safety

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387944593

Format: Illustrated (530 pages)
Publisher: Springer
Published: 04 Aug 1995

Save for later

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science)

by Behnam Banieqbal, Howard Barringer, Amir Pnueli

ISBN 13: 9783540518037

Format: Paperback (448 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387976648

Format: Illustrated (441 pages)
Publisher: Springer
Published: 15 Dec 1991

Save for later

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog

ISBN 13: 9781447125136

Format: Paperback (528 pages)
Publisher: Springer
Published: 14 Mar 2012

Save for later