Sign-In
CartPnueli, A.
Filters
Sort by
$119.99
{"Id":15599556,"Title":"Temporal Verification of Reactive Systems: Safety","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Verification of Reactive Systems: Safety","Author":"Manna, Zohar","Ean":"9781461287018","Isbn":"1461287014","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":11685242,"SeriesId":null,"LanguageId":56,"PriceMin":119.99,"PriceMax":119.99,"Desirability":1,"PublicationDate":"2012-08-22T00:00:00","Join":null}
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar
Pnueli, Amir
Hardcover
$167.99
{"Id":2807605,"Title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Logic of Reactive and Concurrent Systems: Specification","Author":"Manna, Zohar","Ean":"9780387976648","Isbn":"0387976647","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7543940,"SeriesId":null,"LanguageId":56,"PriceMin":167.99,"PriceMax":167.99,"Desirability":1,"PublicationDate":"1991-12-18T00:00:00","Join":null}
$17.95
{"Id":25660466,"Title":"Two Approaches to Interprocedural Data Flow Analysis","Authors":["Sharir, Micha","Pnueli, A."],"ShortTitle":"Two Approaches to Interprocedural Data Flow Analysis","Author":"Sharir, Micha","Ean":"9781021438553","Isbn":"1021438553","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1217698,2706989],"CategoryIds":[922,1125],"FormatId":2,"FamilyId":3129257,"SeriesId":null,"LanguageId":56,"PriceMin":17.95,"PriceMax":17.95,"Desirability":0,"PublicationDate":"2023-07-18T00:00:00","Join":null}
$30.95
{"Id":25955879,"Title":"Two Approaches to Interprocedural Data Flow Analysis","Authors":["Sharir, Micha","Pnueli, A."],"ShortTitle":"Two Approaches to Interprocedural Data Flow Analysis","Author":"Sharir, Micha","Ean":"9781019588352","Isbn":"1019588357","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1217698,2706989],"CategoryIds":[922,1125],"FormatId":1,"FamilyId":3129257,"SeriesId":null,"LanguageId":56,"PriceMin":30.95,"PriceMax":30.95,"Desirability":0,"PublicationDate":"2023-07-18T00:00:00","Join":null}
$100.00
{"Id":3127061,"Title":"Fluid Mechanics","Authors":["Pnueli, David","Gutfinger, Chaim"],"ShortTitle":"Fluid Mechanics","Author":"Pnueli, David","Ean":"9780521587976","Isbn":"0521587972","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1224448,9608142],"CategoryIds":[617],"FormatId":2,"FamilyId":136710,"SeriesId":null,"LanguageId":56,"PriceMin":100.0,"PriceMax":100.0,"Desirability":0,"PublicationDate":"1997-01-13T00:00:00","Join":null}
$153.99
{"Id":2804934,"Title":"Temporal Verification of Reactive Systems: Safety","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Verification of Reactive Systems: Safety","Author":"Manna, Zohar","Ean":"9780387944593","Isbn":"0387944591","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[877],"FormatId":1,"FamilyId":11685242,"SeriesId":null,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":0,"PublicationDate":"1995-08-04T00:00:00","Join":null}
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar
Pnueli, Amir
Paperback
$76.99
{"Id":15597663,"Title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Logic of Reactive and Concurrent Systems: Specification","Author":"Manna, Zohar","Ean":"9781461269502","Isbn":"1461269504","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[877,1063,1125],"FormatId":2,"FamilyId":7543940,"SeriesId":null,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"2012-10-17T00:00:00","Join":null}
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings
Banieqbal, Behnam
Barringer, Howard
Pnueli, Amir
Paperback
$54.99
{"Id":20396674,"Title":"Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings","Authors":["Banieqbal, Behnam","Barringer, Howard","Pnueli, Amir"],"ShortTitle":"Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987,\u2026","Author":"Banieqbal, Behnam","Ean":"9783540518037","Isbn":"3540518037","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4899800,1605491,1070454],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":972255,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1989-10-11T00:00:00","Join":null}
Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Wiedijk, Freek
Maler, Oded
Pnueli, Amir
Paperback
$109.99
{"Id":20367602,"Title":"Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings","Authors":["Wiedijk, Freek","Maler, Oded","Pnueli, Amir"],"ShortTitle":"Hybrid Systems: Computation and Control: 6th International Workshop, Hscc\u2026","Author":"Wiedijk, Freek","Ean":"9783540009139","Isbn":"3540009132","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4875113,1687517,1070454],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2003-03-18T00:00:00","Join":null}
$54.99
{"Id":20582988,"Title":"Perspectives of Systems Informatics","Authors":["Pnueli, Amir","Virbitskaite, Irina","Voronkov, Andrei"],"ShortTitle":"Perspectives of Systems Informatics","Author":"Pnueli, Amir","Ean":"9783642114854","Isbn":"3642114857","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1070454,4913023,775408],"CategoryIds":[1125],"FormatId":2,"FamilyId":12335337,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2010-02-08T00:00:00","Join":null}
Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
Pnueli, Amir
Roever, Willem-Paul de
Langmaack, Hans
Paperback
$109.99
{"Id":20409147,"Title":"Compositionality: The Significant Difference: International Symposium, Compos\u002797 Bad Malente, Germany, September 8-12, 1997 Revised Lectures","Authors":["Pnueli, Amir","Roever, Willem-Paul de","Langmaack, Hans"],"ShortTitle":"Compositionality: The Significant Difference: International Symposium,\u2026","Author":"Pnueli, Amir","Ean":"9783540654933","Isbn":"3540654933","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1070454,4893964,4880064],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1998-12-18T00:00:00","Join":null}