{"product_id":"formal-methods-for-distributed-processing-cambridge-university-press-9780521168755-a-survey-of-object-oriented-approaches-howard-bowman","title":"Formal Methods for Distributed Processing","description":"\u003cp\u003eExplore the intricate world of distributed processing with \u003cstrong\u003eFormal Methods for Distributed Processing\u003c\/strong\u003e by \u003cstrong\u003eHoward Bowman\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2011, this comprehensive volume spans \u003cstrong\u003e492 pages\u003c\/strong\u003e and delves into the application of formal methods within object-based distributed systems. Featuring insightful surveys from leading researchers, the book covers essential topics such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Ideal for professionals and students alike, this paperback edition serves as a vital resource for anyone looking to deepen their understanding of electronic data processing and object-oriented programming in computer science. Enhance your knowledge and skills in distributed processing with this authoritative guide.\u003c\/p\u003e","brand":"Howard Bowman","offers":[{"title":"Default Title","offer_id":52244023869782,"sku":"9780521168755","price":58.19,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521168755.jpg?v=1767767483","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-for-distributed-processing-cambridge-university-press-9780521168755-a-survey-of-object-oriented-approaches-howard-bowman","provider":"Bookshop","version":"1.0","type":"link"}