{"product_id":"9783319307336","title":"Theory and Practice of Formal Methods","description":"\u003cp\u003eThis Festschrift volume has been published in honor of\nFrank de Boer, on the occasion of his 60th birthday.\u003cbr\u003e\nFrank S. de Boer is a prominent member of the research community in formal\nmethods and theoretical computer science. A brief look at his lengthy\npublication list reveals a broad area of interest and a versatile modus\noperandi with: logic and constraint programming; deductive proof systems,\nsoundness, and completeness; semantics, compositionality, and full abstraction;\nprocess algebra and decidability; multithreading and actor-based concurrency;\nagent programming, ontologies, and modal logic; real-time systems, timed\nautomata, and schedulability; enterprise architectures, choreography, and\ncoordination; testing and runtime monitoring; and cloud computing and service-level\nagreements. For a while, he also liked failures, especially in semantics, and\noptimistically concluded with the failure of failures. In fact, Frank has an\nopportunistic approach to research. Rather than seeing obstacles, he finds\nopportunities.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2016\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 6613\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Erika Ábrahám","offers":[{"title":"Default Title","offer_id":41272164483250,"sku":"9783319307336","price":99.84,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3319307339.01_SCLZZZZZZZ.jpg?v=1636120623","url":"https:\/\/readabook.store\/products\/9783319307336","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}