{"product_id":"data-refinement-cambridge-university-press-9780521103503-model-oriented-proof-methods-and-their-comparison-w-p-de-roever","title":"Data Refinement","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eData Refinement\u003c\/strong\u003e by W.-P. de Roever, published by Cambridge University Press in 2008. This comprehensive graduate text spans 436 pages and delves into the critical formal methods in computer science. Ideal for students and professionals alike, this book explores topics such as computer programs, computer simulation, and data structures, providing a solid foundation for understanding the verification processes in computing. Whether you are looking to deepen your knowledge or enhance your skills in the field, \u003cstrong\u003eData Refinement\u003c\/strong\u003e serves as an invaluable resource. Elevate your expertise in formal methods with this authoritative guide from one of the leading voices in computer science.\u003c\/p\u003e","brand":"W.-P. de Roever","offers":[{"title":"Default Title","offer_id":52247684448598,"sku":"9780521103503","price":65.47,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521103503.jpg?v=1767773250","url":"https:\/\/www.bookshop.lt\/products\/data-refinement-cambridge-university-press-9780521103503-model-oriented-proof-methods-and-their-comparison-w-p-de-roever","provider":"Bookshop","version":"1.0","type":"link"}