Wheelers Books
Refine By
Publication Date
Fiction / Non-Fiction
    Age
      Format
        Extended Format
        Show Large Print:
        Category
          Publication Country
            Latest Additions
            Language
              Price
              -

              Books by Jonathan P. Bowen

              Stock Availability: Sort by: View:

              Total 20 jump to: go ‹ previous12next ›
              Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
                

              Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (Paperback, 1st ed. 2020)

              Edited by Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili

              • RRP: $194.99
              • $137.91
              • Save $57.08
              • In Stock US

              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.
              Read more

              ISBN 9783030550882
              Publisher Springer Nature Switzerland AG
              Interest Age General Audience
              Series Programming and Software Engineering
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
                

              ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Trade Paperback / Paperback, 1995 ed.)

              Edited by Bowen, Jonathan P.; Hinchey, Michael G.

              • RRP: $490.50
              • $293.60
              • Save $196.90
              • In Stock US

              The papers in this text cover applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. The book includes an annotated Z bibliography listing 544 entries.

              ISBN 9783540602712
              Publisher Springer-Verlag Berlin and Hei
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              Museums and Digital Culture: New Perspectives and Research
                

              Museums and Digital Culture: New Perspectives and Research (Hardback, 1st ed. 2019)

              Edited by Giannini, Tula; Bowen, Jonathan P.

              • RRP: $559.50
              • $334.96
              • Save $224.54
              • Backorder US

              This book explores how digital culture is transforming museums in the 21st century. Offering a corpus of new evidence for readers to explore, the authors trace the digital evolution of the museum and that of their audiences, now fully immersed in digital life, from the Internet t...o home and work. In a world where life in code and digits has redefined human information behavior and dominates daily activity and communication, ubiquitous use of digital tools and technology is radically changing the social contexts and purposes of museum exhibitions and collections, the work of museum professionals and the expectations of visitors, real and virtual. Moving beyond their walls, with local and global communities, museums are evolving into highly dynamic, socially aware and relevant institutions as their connections to the global digital ecosystem are strengthened. As they adopt a visitor-centered model and design visitor experiences, their priorities shift to engage audiences, convey digital collections, and tell stories through exhibitions. This is all part of crafting a dynamic and innovative museum identity of the future, made whole by seamless integration with digital culture, digital thinking, aesthetics, seeing and hearing, where visitors are welcomed participants. The international and interdisciplinary chapter contributors include digital artists, academics, and museum professionals. In themed parts the chapters present varied evidence-based research and case studies on museum theory, philosophy, collections, exhibitions, libraries, digital art and digital future, to bring new insights and perspectives, designed to inspire readers. Enjoy the journey!
              Read more

              ISBN 9783319974569
              Publisher Springer International Publish
              Interest Age General Audience
              Series Springer Series on Cultural Computing
              Availability
              Internationally sourced (on backorder); allow 4-8 weeks
              View details for this title
              ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
                

              ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Trade Paperback / Paperback, 2002 ed.)

              Edited by Bert, Didier; Bowen, Jonathan P.; Henson, Martin C.; Robinson, Ken

              • RRP: $424.50
              • $218.99
              • Save $205.51
              • No availability locally

              Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to ap...plications.
              Read more

              ISBN 9783540431664
              Publisher Springer
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; usually ships 2-3 weeks
              View details for this title
              Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers
                

              Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Trade Paperback / Paperback, 2008 ed.)

              Edited by Hierons, Robert M.; Bowen, Jonathan P.; Harman, Mark

              • RRP: $358.99
              • $214.78
              • Save $144.21
              • In Stock US

              This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

              ISBN 9783540789161
              Publisher Springer-Verlag Berlin and Hei
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
                

              ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Trade Paperback / Paperback, 1997 ed.)

              Edited by Bowen, Jonathan P.; Hinchey, Michael G.; Till, David

              • RRP: $391.50
              • $234.48
              • Save $157.02
              • In Stock US

              This volume presents 18 revised full papers, together with three invited presentations by international contributors. The papers are organized into sections on real-time systems, tools, logic, system development, reactive systems, refinement and applications.

              ISBN 9783540627173
              Publisher Springer-Verlag Berlin and Hei
              Interest Age 19+ years
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
                

              ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Trade Paperback / Paperback, 2003 ed.)

              Edited by Bert, Didier; Bowen, Jonathan P.; King, Steve; Walden, Marina

              • RRP: $490.50
              • $293.60
              • Save $196.90
              • In Stock US

              These papers document the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

              ISBN 9783540402534
              Publisher Springer-Verlag Berlin and Hei
              Interest Age 19+ years
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
                

              Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Paperback, 1st ed. 2018)

              Edited by Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili

              • RRP: $230.50
              • $137.91
              • Save $92.59
              • In Stock US

              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 p...rovide 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.
              Read more

              ISBN 9783030029272
              Publisher Springer Nature Switzerland AG
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
                

              Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)

              Edited by Bowen, Jonathan P.; Zhu, Huibiao

              • RRP: $230.50
              • $137.91
              • Save $92.59
              • In Stock US

              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.

              ISBN 9783319522272
              Publisher Springer International Publish
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; ships 6-14 working days
              View details for this title
              ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
                

              ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Trade Paperback / Paperback)

              Edited by Bowen, Jonathan P.; Dunne, Steve; Galloway, Andy; King, Steve

              • RRP: $424.50
              • $218.99
              • Save $205.51
              • No availability locally

              The text documents the 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.

              ISBN 9783540679448
              Publisher Springer-Verlag Berlin and Hei
              Interest Age General Audience
              Series Lecture Notes in Computer Science
              Availability
              Internationally sourced; usually ships 2-3 weeks
              View details for this title
              Total 20 jump to: go ‹ previous12next ›