{"product_id":"program-proofs-k-rustan-m-leino-9780262546232","title":"Program Proofs","description":"\u003cp\u003eBestel Program Proofs van K. Rustan M. Leino.\u003c\/p\u003e\n\u003ch3\u003eProductspecificaties\u003c\/h3\u003e\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAuteur:\u003c\/strong\u003e K. Rustan M. Leino\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eUitgever:\u003c\/strong\u003e MIT Press Ltd\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eImprint:\u003c\/strong\u003e MIT Press\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eVerschijningsdatum:\u003c\/strong\u003e 2023-03-07\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eAantal pagina's:\u003c\/strong\u003e 496\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780262546232\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eThema:\u003c\/strong\u003e Computer programming \/ software engineering\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eBISAC:\u003c\/strong\u003e COMPUTERS \/ Programming \/ General\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Intertaal","offers":[{"title":"Default Title","offer_id":56354519712084,"sku":"9780262546232","price":78.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0967\/0538\/0692\/files\/9780262546232.jpg?v=1783584556","url":"https:\/\/intertaalid.nl\/es\/products\/program-proofs-k-rustan-m-leino-9780262546232","provider":"Intertaal","version":"1.0","type":"link"}