Sign-In
CartResults
Filters
Sort by
Software Engineering with Obj: Algebraic Specification in Action
Goguen, Joseph A.
Malcolm, Grant
Hardcover
$307.99
{"Id":4125908,"Title":"Software Engineering with Obj: Algebraic Specification in Action","Authors":["Goguen, Joseph A.","Malcolm, Grant"],"ShortTitle":"Software Engineering with Obj: Algebraic Specification in Action","Author":"Goguen, Joseph A.","Ean":"9780792377573","Isbn":"0792377575","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1604528,772178],"CategoryIds":[489,877,1125],"FormatId":1,"FamilyId":7125334,"SeriesId":118345,"LanguageId":56,"PriceMin":307.99,"PriceMax":307.99,"Desirability":1,"PublicationDate":"2000-04-30T00:00:00","Join":null}
Computer-Aided Reasoning: Acl2 Case Studies
Moore, J. Strother
Kaufmann, Matt
Manolios, Panagiotis
Hardcover
$307.99
{"Id":4125888,"Title":"Computer-Aided Reasoning: Acl2 Case Studies","Authors":["Moore, J. Strother","Kaufmann, Matt","Manolios, Panagiotis"],"ShortTitle":"Computer-Aided Reasoning: Acl2 Case Studies","Author":"Moore, J. Strother","Ean":"9780792378495","Isbn":"0792378490","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1602292,1604460,1604462],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":633323,"SeriesId":118345,"LanguageId":56,"PriceMin":307.99,"PriceMax":307.99,"Desirability":0,"PublicationDate":"2000-06-30T00:00:00","Join":null}
$219.99
{"Id":4126496,"Title":"The Object-Z Specification Language","Authors":["Smith, Graeme"],"ShortTitle":"Object-Z Specification Language","Author":"Smith, Graeme","Ean":"9780792386841","Isbn":"0792386841","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1513709],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7822287,"SeriesId":118345,"LanguageId":56,"PriceMin":219.99,"PriceMax":219.99,"Desirability":0,"PublicationDate":"1999-12-31T00:00:00","Join":null}
Software Engineering with Obj: Algebraic Specification in Action
Goguen, Joseph A.
Malcolm, Grant
Paperback
$219.99
{"Id":15338770,"Title":"Software Engineering with Obj: Algebraic Specification in Action","Authors":["Goguen, Joseph A.","Malcolm, Grant"],"ShortTitle":"Software Engineering with Obj: Algebraic Specification in Action","Author":"Goguen, Joseph A.","Ean":"9781441949653","Isbn":"1441949658","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1604528,772178],"CategoryIds":[489,877,1125],"FormatId":2,"FamilyId":7125334,"SeriesId":118345,"LanguageId":56,"PriceMin":219.99,"PriceMax":219.99,"Desirability":0,"PublicationDate":"2010-12-07T00:00:00","Join":null}
Computer-Aided Reasoning: Acl2 Case Studies
Kaufmann, Matt
Manolios, Panagiotis
Moore, J. Strother
Paperback
$307.99
{"Id":15338916,"Title":"Computer-Aided Reasoning: Acl2 Case Studies","Authors":["Kaufmann, Matt","Manolios, Panagiotis","Moore, J. Strother"],"ShortTitle":"Computer-Aided Reasoning: Acl2 Case Studies","Author":"Kaufmann, Matt","Ean":"9781441949813","Isbn":"144194981X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1604460,1604462,597668],"CategoryIds":[877,898,1125],"FormatId":2,"FamilyId":633323,"SeriesId":118345,"LanguageId":56,"PriceMin":307.99,"PriceMax":307.99,"Desirability":0,"PublicationDate":"2010-12-08T00:00:00","Join":null}
$219.99
{"Id":15603060,"Title":"The Object-Z Specification Language","Authors":["Smith, Graeme"],"ShortTitle":"Object-Z Specification Language","Author":"Smith, Graeme","Ean":"9781461374015","Isbn":"1461374014","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1173291],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":7822287,"SeriesId":118345,"LanguageId":56,"PriceMin":219.99,"PriceMax":219.99,"Desirability":0,"PublicationDate":"2012-11-02T00:00:00","Join":null}