{"product_id":"formal-methods-for-eternal-networked-marco-bernardo-9783642214547","title":"Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw","description":"\u003cp\u003eBased on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal methods for external networked software systems.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Marco Bernardo\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642214541\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642214547\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/03\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 527\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.80lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.20h x 6.10w x 1.10d","brand":"Marco Bernardo","offers":[{"title":"Paperback","offer_id":47520648659199,"sku":"9783642214547","price":54.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_3122f687-548d-49b4-a0a4-c300e26a6cfa.jpg?v=1762886329","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-methods-for-eternal-networked-marco-bernardo-9783642214547","provider":"WR Book House","version":"1.0","type":"link"}