Sell, buy or rent Amir Pnueli textbooks

9783642114854-3642114857-Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (Lecture Notes in Computer Science, 5947)
9783642114854-3642114857-Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (Lecture Notes in Computer Science, 5947)

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (Lecture Notes in Computer Science, 5947)

by Amir Pnueli, Andrei Voronkov
ISBN-13: 9783642114854
ISBN-10: 3642114857
Edition: 2010
Publisher: Springer
Format: Paperback 439 pages
Sell Shop now at Amazon
9783540009139-3540009132-Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science, 2623)
9783540009139-3540009132-Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science, 2623)

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science, 2623)

by Freek Wiedijk, Oded Maler, Amir Pnueli
ISBN-13: 9783540009139
ISBN-10: 3540009132
Edition: 2003
Publisher: Springer
Format: Paperback 576 pages
Sell Shop now at Amazon eBook from $29.70
9783540654933-3540654933-Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)
9783540654933-3540654933-Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)

by Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
ISBN-13: 9783540654933
ISBN-10: 3540654933
Edition: 1998
Publisher: Springer
Format: Paperback 655 pages
Sell Shop now at Amazon
9780387976648-0387976647-The Temporal Logic of Reactive and Concurrent Systems: Specification
9780387976648-0387976647-The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna, Amir Pnueli
ISBN-13: 9780387976648
ISBN-10: 0387976647
Edition: 1992
Publication date: 1991
Publisher: Springer
Format: Hardcover 441 pages
Sell Buy from $110.16
9780387944593-0387944591-Temporal Verification of Reactive Systems: Safety
9780387944593-0387944591-Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

by Zohar Manna, Amir Pnueli
ISBN-13: 9780387944593
ISBN-10: 0387944591
Edition: 1995
Publisher: Springer
Format: Hardcover 530 pages
Sell Buy from $101.67
9781461269502-1461269504-The Temporal Logic of Reactive and Concurrent Systems: Specification
9781461269502-1461269504-The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna, Amir Pnueli
ISBN-13: 9781461269502
ISBN-10: 1461269504
Edition: Softcover reprint of the original 1st ed. 1992
Publication date: 2012
Publisher: Springer
Format: Paperback 441 pages
Sell Buy from $52.91
9781461287018-1461287014-Temporal Verification of Reactive Systems: Safety
9781461287018-1461287014-Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

by Zohar Manna, Amir Pnueli
ISBN-13: 9781461287018
ISBN-10: 1461287014
Edition: 1995
Publication date: 2012
Publisher: Springer
Format: Paperback 530 pages
Buy from $110.07
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.