{"product_id":"runtime-verification-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642356315-third-international-conference-rv-2012-istanbul-turkey-september-25-28-2012-revised-selected-papers-turkey-rv-conference-3rd-2012-istanbul","title":"Runtime Verification","description":"\u003cp\u003e\u003cstrong\u003eRuntime Verification\u003c\/strong\u003e by Turkey) RV (Conference) (3rd 2012 Istanbul.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2013), Paperback, 322 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, Congresses, Verification, Formal methods (Computer science).\u003c\/p\u003e","brand":"Turkey) RV (Conference) (3rd 2012 Istanbul","offers":[{"title":"Default Title","offer_id":52229875990870,"sku":"9783642356315","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642356315.jpg?v=1767745766","url":"https:\/\/www.englishbook.pt\/products\/runtime-verification-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642356315-third-international-conference-rv-2012-istanbul-turkey-september-25-28-2012-revised-selected-papers-turkey-rv-conference-3rd-2012-istanbul","provider":"Bookshop","version":"1.0","type":"link"}