{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-7th-international-conference-tacas-2001-held-as-part-of-the-joint-european-confere-9783540418658","title":"Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere","description":"\u003cp\u003e • Author(s): Tiziana Margaria | Wang Yi\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - Systems Analysis \u0026amp; Desi\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 7th International Conference on \u003cb\u003eTools and Algorithms for the \u003c\/b\u003e \u003cb\u003eConstruction and Analysis of Systems\u003c\/b\u003e, TACAS 2001.\u003cbr\u003eThe 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46896201138327,"sku":"9783540418658","price":11575.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540418658.webp?v=1770357236","url":"https:\/\/atlanticbooks.com\/products\/tools-and-algorithms-for-the-construction-and-analysis-of-systems-7th-international-conference-tacas-2001-held-as-part-of-the-joint-european-confere-9783540418658","provider":"Atlantic Books","version":"1.0","type":"link"}