{"title":"Jonathan P Bowen","description":null,"products":[{"product_id":"formal-specification-and-documentation-using-z-book-jonathan-p-bowen-9781850322306","title":"Formal Specification and Documentation Using Z","description":null,"brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49538863497489,"sku":"GOR006845813","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1850322309.jpg?v=1751411825"},{"product_id":"electronic-visualisation-in-arts-and-culture-book-jonathan-p-bowen-9781447154051","title":"Electronic Visualisation in Arts and Culture","description":"Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is presented in five parts:    Imaging and Culture New Art Practice Seeing Motion Interaction and Interfaces  Visualising Heritage    Electronic Visualisation in Arts and Culture explores a variety of new theory and technologies, including devices and techniques for motion capture for music and performance, advanced photographic techniques, computer generated images derived from different sources, game engine software, airflow to capture the motions of bird flight and low-altitude imagery from airborne devices.  The international authors of this book are practising experts from universities, art practices and organisations, research centres and independent research. They describe electronic visualisation used for such diverse aspects of culture as airborne imagery, computer generated art based on the autoimmune system, motion capture for music and for sign language, the visualisation of time and the long term preservation of these materials. Selected from the EVA London conferences from 2009-2012, held in association with the Computer Arts Society of the British Computer Society, the authors have reviewed, extended and fully updated their work for this state-of-the-art volume.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51142421774609,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51142425116945,"sku":"NIN9781447154051","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52435820052753,"sku":"NLS9781447154051","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1447154053.jpg?v=1751338136"},{"product_id":"zum-95-the-z-formal-specification-notation-book-jonathan-p-bowen-9783540602712","title":"ZUM '95: The Z Formal Specification Notation","description":"This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used \"formal method\" both in industry and application, the volume is of high relevance for the whole formal methods community.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52129760149777,"sku":"NLS9783540602712","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540602712.jpg?v=1757497883"},{"product_id":"zum-97-the-z-formal-specification-notation-book-jonathan-p-bowen-9783540627173","title":"ZUM'97: The Z Formal Specification Notation","description":"This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133993218321,"sku":"NLS9783540627173","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540627173.jpg?v=1757538029"},{"product_id":"high-integrity-system-specification-and-design-book-jonathan-p-bowen-9783540762263","title":"High-Integrity System Specification and Design","description":"That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52141172588817,"sku":"NLS9783540762263","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540762263.jpg?v=1757576615"},{"product_id":"engineering-trustworthy-software-systems-book-jonathan-p-bowen-9783319568409","title":"Engineering Trustworthy Software Systems","description":"This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March\/April 2016 at Southwest University in Chongqing, China.  The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52144022683921,"sku":"NLS9783319568409","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319568409.jpg?v=1757587047"},{"product_id":"zum-98-the-z-formal-specification-notation-book-jonathan-p-bowen-9783540650706","title":"ZUM '98: The Z Formal Specification Notation","description":"1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy, not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically, his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical, industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution, butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades, the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are pro-formal or anti-formal, but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM'98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52145002250513,"sku":"NLS9783540650706","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540650706.jpg?v=1757591555"},{"product_id":"unifying-theories-of-programming-book-jonathan-p-bowen-9783319522272","title":"Unifying Theories of Programming","description":"This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the     12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52335304933649,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52335305556241,"sku":"NLS9783319522272","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319522272.jpg?v=1758159616"},{"product_id":"theories-of-programming-and-formal-methods-book-jonathan-p-bowen-9783031404351","title":"Theories of Programming and Formal Methods","description":"This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52335793570065,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52335794094353,"sku":"NLS9783031404351","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031404351.jpg?v=1758161184"},{"product_id":"zb-2000-formal-specification-and-development-in-z-and-b-book-jonathan-p-bowen-9783540679448","title":"ZB 2000: Formal Specification and Development in Z and B","description":"This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August\/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52407918461201,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407919018257,"sku":"NLS9783540679448","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540679448.jpg?v=1758773483"},{"product_id":"engineering-trustworthy-software-systems-book-jonathan-p-bowen-9783030176006","title":"Engineering Trustworthy Software Systems","description":"This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering;","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52583388283153,"sku":"NLS9783030176006","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030176006.jpg?v=1761046834"},{"product_id":"engineering-trustworthy-software-systems-book-jonathan-p-bowen-9789819646555","title":"Engineering Trustworthy Software Systems","description":"This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.   The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on   -Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;   -Introduction to Digital Twins   -Theories of Contracts and Their Applications   -From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing?    -What Came First, Math or Computing?   -Software Engineering for Explainable AI   -Distribution Testing: The New Frontier for Formal Methods","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52662514778385,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52662515859729,"sku":"NLS9789819646555","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789819646555.jpg?v=1762269681"},{"product_id":"engineering-trustworthy-software-systems-book-jonathan-p-bowen-9783030029272","title":"Engineering Trustworthy Software Systems","description":"This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.    The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely\/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52666361250065,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52666362233105,"sku":"NLS9783030029272","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030029272.jpg?v=1762279763"},{"product_id":"engineering-trustworthy-software-systems-book-jonathan-p-bowen-9783030550882","title":"Engineering Trustworthy Software Systems","description":"This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K – A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52680937341201,"sku":"NLS9783030550882","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030550882.jpg?v=1762314339"},{"product_id":"engineering-trustworthy-software-systems-book-jonathan-p-bowen-9789819586165","title":"Engineering Trustworthy Software Systems","description":"This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025.   The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53483879563537,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":53483879891217,"sku":"NGR9789819586165","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789819586165.jpg?v=1777614879"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-jonathan-p-bowen.oembed","provider":"World of Books ","version":"1.0","type":"link"}