{"product_id":"reliable-software-technologies-ada-europe-2008-13th-ada-europe-international-conference-on-reliable-software-technologies-venice-italy-june-16-2-9783540686217","title":"Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-2","description":"\u003cp\u003e • Author(s): Fabrice Kordon\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. \u003c\/p\u003e \u003cp\u003eThe 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets. \u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45275550482583,"sku":"9783540686217","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540686217.webp?v=1769283250","url":"https:\/\/atlanticbooks.com\/products\/reliable-software-technologies-ada-europe-2008-13th-ada-europe-international-conference-on-reliable-software-technologies-venice-italy-june-16-2-9783540686217","provider":"Atlantic Books","version":"1.0","type":"link"}