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 Didier Bert

              Stock Availability: Sort by: View:

              Total 3 jump to: go
              Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
                

              Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers (Trade Paperback / Paperback, 2000 ed.)

              Edited by Bert, Didier; Choppy, Christine; Mosses, Peter

              • RRP: $424.50
              • $254.19
              • Save $170.31
              • In Stock US

              The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and partiality; structuring; rewriting; co-algebras and sketches; refinement; and other top...ics.
              Read more

              ISBN 9783540678984
              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
              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
              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
              Total 3 jump to: go