{"product_id":"9781447166863","title":"Undergraduate Topics in Computer Science: A Formal Methods Approach Based on Executable Modeling in Maude","description":"\u003ch1\u003eUndergraduate Topics in Computer Science: A Formal Methods Approach Based on Executable Modeling in Maude\u003c\/h1\u003e \u003ch2\u003eÖlveczky, Peter Csaba\u003c\/h2\u003e \u003cp\u003eThis classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eTopics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website.\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2018-02-22\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781447166863\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4471-6687-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 313\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":45382519488652,"sku":"9781447166863","price":71.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781447166863.jpg?v=1775752349","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781447166863","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}