{"title":"John Derrick","description":null,"products":[{"product_id":"boo-to-billable-hours-a-lawyer-s-guide-to-better-billing-book-john-derrick-9780979777806","title":"Boo To Billable Hours: A Lawyer's Guide To Better Billing","description":null,"brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49600663093521,"sku":"GOR013066032","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":52693758378257,"sku":"CIN0979777801G","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0979777801.jpg?v=1750706127"},{"product_id":"maui-mile-by-mile-book-john-derrick-9780977388059","title":"Maui - Mile by Mile","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51141205131537,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51141207130385,"sku":"CIN0977388050VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":51868998467857,"sku":"CIN0977388050G","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ WELL_READ \/ SBYB","offer_id":53401582960913,"sku":"CIN0977388050A","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0977388050.jpg?v=1751012895"},{"product_id":"refinement-in-z-and-object-z-book-john-derrick-9781447161677","title":"Refinement in Z and Object-Z","description":"This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52150529949969,"sku":"NLS9781447161677","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781447161677.jpg?v=1757610403"},{"product_id":"refinement-in-z-and-object-z-book-john-derrick-9781447153542","title":"Refinement in Z and Object-Z","description":"Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:    Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP  Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students.  This second edition is a comprehensive update to the first and includes the following new material:    Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in CSP Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52431470919953,"sku":"NLS9781447153542","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53518952857873,"sku":"NIN9781447153542","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781447153542.jpg?v=1759172611"},{"product_id":"refinement-book-john-derrick-9783319927091","title":"Refinement","description":"It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52487803863313,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52487804387601,"sku":"NLS9783319927091","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319927091.jpg?v=1759861620"},{"product_id":"formal-techniques-for-networked-and-distributed-systems-forte-2007-book-john-derrick-9783540731955","title":"Formal Techniques for Networked and Distributed Systems - FORTE 2007","description":"These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The ?rst PSTV conference took place in 1981, and the ?rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re?ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the ?agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26-29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52617326690577,"sku":"NLS9783540731955","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540731955.jpg?v=1761529954"},{"product_id":"integrated-formal-methods-book-john-derrick-9783642307287","title":"Integrated Formal Methods","description":"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618048110865,"sku":"NLS9783642307287","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642307287.jpg?v=1761532064"},{"product_id":"abstract-state-machines-alloy-b-vdm-and-z-book-john-derrick-9783642308840","title":"Abstract State Machines, Alloy, B, VDM, and Z","description":"This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52660524450065,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52660525400337,"sku":"NLS9783642308840","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642308840.jpg?v=1762265436"},{"product_id":"refinement-book-john-derrick-9783030064976","title":"Refinement","description":"Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements.     This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today.     It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52677458690321,"sku":"NLS9783030064976","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030064976.jpg?v=1762306078"},{"product_id":"hana-highway-mile-by-mile-book-john-derrick-9780977388097","title":"Hana Highway Mile by Mile","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":53137644192017,"sku":"CIN0977388093G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":53429439267089,"sku":"CIN0977388093VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780977388097.jpg?v=1771453110"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-john-derrick.oembed","provider":"World of Books ","version":"1.0","type":"link"}