Sign-In
CartPnueli, Amir
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}
$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}
$25.00
{"Id":24183128,"Title":"The Shapes Series: Student Book","Authors":["Amir"],"ShortTitle":"Shapes Series: Student Book","Author":"Amir","Ean":"9798415005437","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[8287539],"CategoryIds":[524],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":25.0,"PriceMax":25.0,"Desirability":1,"PublicationDate":"2022-09-26T00:00:00","Join":null}
$5.50
{"Id":16381596,"Title":"Life in Several Different Words: A collection of poems","Authors":["Amir"],"ShortTitle":"Life in Several Different Words: A collection of poems","Author":"Amir","Ean":"9781508545927","Isbn":"1508545928","Publisher":"Createspace","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3414842],"CategoryIds":[909],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":5.5,"PriceMax":5.5,"Desirability":0,"PublicationDate":"2015-02-20T00:00:00","Join":null}
$54.99
{"Id":20126205,"Title":"Characterizations of Inner Product Spaces","Authors":["Amir"],"ShortTitle":"Characterizations of Inner Product Spaces","Author":"Amir","Ean":"9783034854894","Isbn":"3034854897","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3414842],"CategoryIds":[475,591,915],"FormatId":2,"FamilyId":null,"SeriesId":85654,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2014-08-23T00:00:00","Join":null}
$17.50
{"Id":27283090,"Title":"We Once Were Human Too","Authors":["Amir"],"ShortTitle":"We Once Were Human Too","Author":"Amir","Ean":"9798230617068","Isbn":"","Publisher":"Amir","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3414842],"CategoryIds":[557],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":17.5,"PriceMax":17.5,"Desirability":0,"PublicationDate":"2022-10-01T00:00:00","Join":null}
$17.50
{"Id":27282593,"Title":"Unspoken Word","Authors":["Amir"],"ShortTitle":"Unspoken Word","Author":"Amir","Ean":"9798230760023","Isbn":"","Publisher":"Amir","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3414842],"CategoryIds":[886],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":17.5,"PriceMax":17.5,"Desirability":0,"PublicationDate":"2019-08-28T00:00:00","Join":null}
$28.00
{"Id":27283172,"Title":"Prison Messed My Feet Up","Authors":["Amir"],"ShortTitle":"Prison Messed My Feet Up","Author":"Amir","Ean":"9798230827405","Isbn":"","Publisher":"Amir","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3414842],"CategoryIds":[1251],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":28.0,"PriceMax":28.0,"Desirability":0,"PublicationDate":"2022-10-04T00:00:00","Join":null}
$20.00
{"Id":27281877,"Title":"Letters I Never Sent","Authors":["Amir"],"ShortTitle":"Letters I Never Sent","Author":"Amir","Ean":"9798227205650","Isbn":"","Publisher":"Amir","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3414842],"CategoryIds":[558],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":20.0,"PriceMax":20.0,"Desirability":0,"PublicationDate":"2022-10-04T00:00:00","Join":null}
$35.00
{"Id":24163656,"Title":"The Shapes Series: Teacher\u0027s Instruction Book","Authors":["Amir"],"ShortTitle":"Shapes Series: Teacher\u0027s Instruction Book","Author":"Amir","Ean":"9798407166092","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[8287539],"CategoryIds":[524],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":35.0,"PriceMax":35.0,"Desirability":0,"PublicationDate":"2022-09-26T00: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}
$14.20
{"Id":24518826,"Title":"Elbee","Authors":["Achitoov, Amir","Achitoov, Amir"],"ShortTitle":"Elbee","Author":"Achitoov, Amir","Ean":"9798985967456","Isbn":"","Publisher":"Smart Lover Pr Llc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[9232667,9232667],"CategoryIds":[700,965],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":14.2,"PriceMax":14.2,"Desirability":1,"PublicationDate":"2022-12-01T00:00:00","Join":null}