{"product_id":"runtime-verification-first-international-conference-rv-2010-st-julians-malta-november-1-4-2010-proceedings-9783642166112","title":"Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings","description":"\u003cp\u003e • Author(s): Howard Barringer | Ylies Falcone | Bernd Finkbeiner\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eConstitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46870189932695,"sku":"9783642166112","price":5815.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642166112.webp?v=1769996072","url":"https:\/\/atlanticbooks.com\/products\/runtime-verification-first-international-conference-rv-2010-st-julians-malta-november-1-4-2010-proceedings-9783642166112","provider":"Atlantic Books","version":"1.0","type":"link"}