Sign-In
CartResults
Filters
Sort by
$153.99
{"Id":19072662,"Title":"Specification Case Studies in Raise","Authors":["Dang Van, Hung","George, Chris","Janowski, Tomasz"],"ShortTitle":"Specification Case Studies in Raise","Author":"Dang Van, Hung","Ean":"9781852333591","Isbn":"1852333596","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4419626,1484043,4419627],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"2002-02-08T00:00:00","Join":null}
$76.99
{"Id":20384381,"Title":"Systems, Models and Measures","Authors":["Kaposi, Agnes","Myers, Margaret"],"ShortTitle":"Systems, Models and Measures","Author":"Kaposi, Agnes","Ean":"9783540197539","Isbn":"3540197532","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4426630,2207924],"CategoryIds":[430,617,877],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"1993-12-01T00:00:00","Join":null}
Software Specification Methods: An Overview Using a Case Study
Habrias, Henri
Frappier, Marc
Paperback
$109.99
{"Id":19072612,"Title":"Software Specification Methods: An Overview Using a Case Study","Authors":["Habrias, Henri","Frappier, Marc"],"ShortTitle":"Software Specification Methods: An Overview Using a Case Study","Author":"Habrias, Henri","Ean":"9781852333539","Isbn":"1852333537","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4419614,12689105],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":7767340,"SeriesId":215264,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2000-10-16T00:00:00","Join":null}
Program Development by Refinement: Case Studies Using the B Method
Sekerinski, Emil
Sere, Kaisa
Paperback
$219.99
{"Id":19072826,"Title":"Program Development by Refinement: Case Studies Using the B Method","Authors":["Sekerinski, Emil","Sere, Kaisa"],"ShortTitle":"Program Development by Refinement: Case Studies Using the B Method","Author":"Sekerinski, Emil","Ean":"9781852330538","Isbn":"1852330538","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3632926,4029701],"CategoryIds":[888,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":219.99,"PriceMax":219.99,"Desirability":0,"PublicationDate":"1998-10-23T00:00:00","Join":null}
$169.99
{"Id":19073476,"Title":"Industrial-Strength Formal Methods in Practice","Authors":["Hinchey, Michael G.","Bowen, Jonathan P."],"ShortTitle":"Industrial-Strength Formal Methods in Practice","Author":"Hinchey, Michael G.","Ean":"9781852336400","Isbn":"1852336404","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4417427,3351956],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":0,"PublicationDate":"1999-09-17T00:00:00","Join":null}
$54.99
{"Id":20384725,"Title":"Notations for Software Design","Authors":["Feijs, Loe M. G.","Jonkers, Hans B. M.","Middelburg, Cornelis a."],"ShortTitle":"Notations for Software Design","Author":"Feijs, Loe M. G.","Ean":"9783540199021","Isbn":"3540199020","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4894420,4894421,4894422],"CategoryIds":[151,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1994-10-19T00:00:00","Join":null}
$54.99
{"Id":20384939,"Title":"Proof in VDM: A Practitioner\u0027s Guide","Authors":["Bicarregui, Juan C.","Lindsay, Peter A.","Fitzgerald, John"],"ShortTitle":"Proof in VDM: A Practitioner\u0027s Guide","Author":"Bicarregui, Juan C.","Ean":"9783540198130","Isbn":"354019813X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4893874,4893875,12605117],"CategoryIds":[1125],"FormatId":2,"FamilyId":1895837,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1993-12-01T00:00:00","Join":null}
$109.99
{"Id":20385128,"Title":"Formal Methods and Object Technology","Authors":["Goldsack, Stephen J.","Kent, Stuart J. H."],"ShortTitle":"Formal Methods and Object Technology","Author":"Goldsack, Stephen J.","Ean":"9783540199779","Isbn":"3540199772","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4885903,4885904],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1996-04-26T00:00:00","Join":null}
$54.99
{"Id":20385140,"Title":"Formal Object-Oriented Development","Authors":["Lano, Kevin"],"ShortTitle":"Formal Object-Oriented Development","Author":"Lano, Kevin","Ean":"9783540199786","Isbn":"3540199780","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12737640],"CategoryIds":[888,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1995-10-25T00:00:00","Join":null}
$54.99
{"Id":20385260,"Title":"On the Refinement Calculus","Authors":["Vickers, Trevor","Morgan, Carroll"],"ShortTitle":"On the Refinement Calculus","Author":"Vickers, Trevor","Ean":"9783540199311","Isbn":"3540199314","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4894571,1070280],"CategoryIds":[877,888,1125],"FormatId":2,"FamilyId":1942459,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1994-12-13T00:00:00","Join":null}
$54.99
{"Id":20412482,"Title":"Formal Methods in Human-Computer Interaction","Authors":["Paterno, Fabio","Palanque, Philippe"],"ShortTitle":"Formal Methods in Human-Computer Interaction","Author":"Paterno, Fabio","Ean":"9783540761587","Isbn":"3540761586","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4418935,3196439],"CategoryIds":[877],"FormatId":2,"FamilyId":7981296,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1997-10-29T00:00:00","Join":null}
$54.99
{"Id":20412533,"Title":"A Theory and Practice of Program Development","Authors":["Andrews, Derek J."],"ShortTitle":"Theory and Practice of Program Development","Author":"Andrews, Derek J.","Ean":"9783540761624","Isbn":"3540761624","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4894142],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1997-07-04T00:00:00","Join":null}
$54.99
{"Id":20412543,"Title":"The B Language and Method: A Guide to Practical Formal Development","Authors":["Lano, Kevin"],"ShortTitle":"B Language and Method: A Guide to Practical Formal Development","Author":"Lano, Kevin","Ean":"9783540760337","Isbn":"3540760334","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12737640],"CategoryIds":[888,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1996-05-14T00:00:00","Join":null}
$109.99
{"Id":20412753,"Title":"Proof in VDM: Case Studies","Authors":["Bicarregui, Juan C."],"ShortTitle":"Proof in VDM: Case Studies","Author":"Bicarregui, Juan C.","Ean":"9783540761860","Isbn":"3540761861","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4893874],"CategoryIds":[151,1125],"FormatId":2,"FamilyId":null,"SeriesId":215264,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1998-03-02T00:00:00","Join":null}
$54.99
{"Id":20413124,"Title":"High-Integrity System Specification and Design","Authors":["Bowen, Jonathan P.","Hinchey, Michael G."],"ShortTitle":"High-Integrity System Specification and Design","Author":"Bowen, Jonathan P.","Ean":"9783540762263","Isbn":"3540762264","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3351956,594400],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":7857108,"SeriesId":215264,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1999-04-12T00:00:00","Join":null}