{"product_id":"theories-of-programming-9781450387286","title":"Theories of Programming","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eSir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence of his various works - the quest for effective abstractions - both in his own words as well as chapters written by leading experts in the field.","brand":"Association for Computing Machinery","offers":[{"title":"Default Title","offer_id":53187526459735,"sku":"9781450387286","price":46.8,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/theories-of-programming-9781450387286","provider":"Book Curl","version":"1.0","type":"link"}