{"product_id":"9783540566625","title":"Lecture Notes in Computer Science: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eWoodcock, James C.P.; Larsen, Peter G.\u003c\/h2\u003e \u003cp\u003eThe last few years have borne witness to a remarkable\ndiversity of formal   methods, with applications to sequential\nand concurrent software, to        real-time and reactive systems,\nand to hardware design. In that time, many  theoretical\nproblems have been tackled and solved, and many continue        to\nbe worked upon. Yet it is by the suitability of their\nindustrial     application and the extent of their usage that\nformal methods will          ultimately be judged.\nThis volume presents the proceedings of the           first\ninternational symposium of Formal Methods Europe, FME'93.\nThe     symposium focuses on the application of\nindustrial-strength formal methods. Authors address the\ndifficulties of scaling their techniques up             to\nindustrial-sized problems, and their suitability in the\nworkplace,   and discuss techniques that are formal (that\nis, they have a mathematical   basis) and that are\nindustrially applicable.\nThe volume has four        parts:\n- Invited lectures, containing a lecture by Cliff B. Jones\nand a lecture by Antonio Cau and Willem-Paul de Roever;\n- Industrial usage        reports, containing 6 reports;\n- Papers, containing 32 selected and refereedpapers;\n- Tool descriptions, containing 11 descriptions.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-04-06\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540566625\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0024633\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 695\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370066370700,"sku":"9783540566625","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540566625.jpg?v=1773969685","url":"https:\/\/lateknightbooks.com\/products\/9783540566625","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}