{"product_id":"9783642136771","title":"Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures","description":"\u003ch3\u003eLecture Notes in Computer Science Programming and Software Engineering\u003c\/h3\u003e\u003ch1\u003eFormal Methods for Quantitative Aspects of Programming Languages\u003c\/h1\u003e\u003ch2\u003e10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures\u003c\/h2\u003e\u003ch3\u003eAlessandro Aldini | Marco Bernardo | Alessandra Di Pierro | Herbert Wiklicky\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Software Development \u0026amp; Engineering \/ General\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e11 June 2010\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer Berlin Heidelberg\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9783642136771\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e169\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45373034758284,"sku":"9783642136771","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783642136771.jpg?v=1784755701","url":"https:\/\/lateknightbooks.com\/products\/9783642136771","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}