{"product_id":"9783540566106","title":"Lecture Notes in Computer Science: 4th International Joint Conference CAAP\/FASE, Orsay, France, April 13-17, 1993. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 4th International Joint Conference CAAP\/FASE, Orsay, France, April 13-17, 1993. Proceedings\u003c\/h1\u003e \u003ch2\u003eGaudel, Marie-Claude; Jouannaud, Jean-Pierre\u003c\/h2\u003e \u003cp\u003eThis volume contains the proceedings of the fourth\nInternational Joint      Conference on the Theory and Practice of\nSoftware Development, TAPSOFT '93. Since the first in 1985,\nthe aim of these conferences has been to bring     together\ntheoretical computer scientists and researchers in                 software\nengineering with a view to discussing how formal methods           can\nusefully be applied in software development.\nTAPSOFT '93 consists ofthree parts: an advanced seminar,\nthe Colloquium on Trees in Algebra and    Programming (CAAP),\nand the Colloquium on Formal Approaches of              Software\nEngineering (FASE). The advanced seminar includes four\ninvited surveys and four invited conferences. The selected\npapers for CAAP are      organized in seven sessions:\nspecifications and proofs, concurrency,        automata and\ncounting, constraints solving, rewriting, logic and            trees,\nanalysis of algorithms, and a common session with FASE on\ntype   inference. The selected papers for FASE are presented\nin eight sessions:    case studies in formal design and\ndevelopment, compositionality modules and development,\nformal development, foundations and analysis of                formal\nspecifications, verification of concurrent systems,                  model\nchecking, parallel calculus, and a common session with CAAP\non    type inference.\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: 9783540566106\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56610-4\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 768\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370032849036,"sku":"9783540566106","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540566106.jpg?v=1773968958","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540566106","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}