{"product_id":"formal-aspects-of-component-software-springer-nature-switzerland-ag-9783030409135-16th-international-conference-facs-2019-amsterdam-the-netherlands-october-23-25-2019-proceedings-farhad-arbab","title":"Formal Aspects of Component Software","description":"\u003cp\u003e\u003cstrong\u003eFormal Aspects of Component Software\u003c\/strong\u003e by Farhad Arbab.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2020), Paperback, 261 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Mathematical Logic and Formal Languages, Programming Techniques, Information Systems, Software engineering.\u003c\/p\u003e","brand":"Farhad Arbab","offers":[{"title":"Default Title","offer_id":52274328174934,"sku":"9783030409135","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030409135.jpg?v=1767812572","url":"https:\/\/www.laufgard.com\/products\/formal-aspects-of-component-software-springer-nature-switzerland-ag-9783030409135-16th-international-conference-facs-2019-amsterdam-the-netherlands-october-23-25-2019-proceedings-farhad-arbab","provider":"Bookshop","version":"1.0","type":"link"}