27 results
Type of media (2)
Availability (2)
Classification (7)
Year
Persons
Publishers
Sort by
Results per page
Filter
27 results

Your search for Formal Approaches to Computing & Information Technology

  1. Cover: Industrial-Strength Formal Methods in Practice - Springer
    Michael G. Hinchey | Jonathan P. Bowen
    Industrial-Strength Formal Methods in Practice
    12/2012
    Springer
    9781447105237 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  2. Cover: Program Development by Refinement - Springer
    Emil Sekerinski | Kaisa Sere
    Program Development by Refinement
    Case Studies Using the B Method
    12/2012
    Springer
    9781447105855 (ISBN)
    E-Book
    PDF
    Other editions
    €213.99
    Available for download
  3. Cover: Software Specification Methods - Springer
    Marc Frappier | Henri Habrias
    Software Specification Methods
    An Overview Using a Case Study
    12/2012
    Springer
    9781447107019 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Formal Methods and Object Technology - Springer
    Stephen J. Goldsack | Stuart J.H. Kent
    Formal Methods and Object Technology
    12/2012
    Springer
    9781447130710 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  5. Cover: Formal Methods in Human-Computer Interaction - Springer
    Philippe Palanque | Fabio Paterno
    Formal Methods in Human-Computer Interaction
    12/2012
    Springer
    9781447134251 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: High-Integrity System Specification and Design - Springer
    Jonathan P. Bowen | Michael G. Hinchey
    High-Integrity System Specification and Design
    12/2012
    Springer
    9781447134312 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Proof in VDM: Case Studies - Springer
    Juan C. Bicarregui
    Proof in VDM: Case Studies
    12/2012
    Springer
    9781447115328 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  8. Cover: Formal Methods in Human-Computer Interaction - Springer
    Philippe Palanque | Fabio Paterno
    Formal Methods in Human-Computer Interaction
    10/1997
    Springer
    9783540761587 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Proof in VDM: Case Studies - Springer
    Juan C. Bicarregui
    Proof in VDM: Case Studies
    03/1998
    Springer
    9783540761860 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  10. Cover: Systems, Models and Measures - Springer
    Agnes Kaposi | Margaret Myers
    Systems, Models and Measures
    12/1993
    1st EDN1st Edition
    Springer
    9783540197539 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: A Theory and Practice of Program Development - Springer
    Derek J. Andrews
    A Theory and Practice of Program Development
    07/1997
    1st EDN1st Edition
    Springer
    9783540761624 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: High-Integrity System Specification and Design - Springer
    Jonathan P. Bowen | Michael G. Hinchey
    High-Integrity System Specification and Design
    04/1999
    Springer
    9783540762263 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. Cover: Proof in VDM: A Practitioner's Guide - Springer
    Juan C. Bicarregui | John Fitzgerald | Peter A. Lindsay
    Proof in VDM: A Practitioner's Guide
    12/1993
    Springer
    9783540198130 (ISBN)
    Book
    Paperback/Softback
    €53.49
    Shipment within 10-15 days
  14. Cover: Notations for Software Design - Springer
    Loe M.G. Feijs | Hans B.M. Jonkers | Cornelis A. Middelburg
    Notations for Software Design
    10/1994
    Springer
    9783540199021 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: On the Refinement Calculus - Springer
    Carroll Morgan | Trevor Vickers
    On the Refinement Calculus
    12/1994
    Springer
    9783540199311 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  16. Cover: Formal Object-Oriented Development - Springer
    Kevin Lano
    Formal Object-Oriented Development
    10/1995
    Springer
    9783540199786 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: Formal Methods and Object Technology - Springer
    Stephen J. Goldsack | Stuart J.H. Kent
    Formal Methods and Object Technology
    04/1996
    Springer
    9783540199779 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  18. Cover: The B Language and Method - Springer
    Kevin Lano
    The B Language and Method
    A Guide to Practical Formal Development
    05/1996
    Springer
    9783540760337 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Refinement in Z and Object-Z - Springer
    John Derrick | Eerke A. Boiten
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    05/2001
    Springer
    9781852332457 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €149.79
    Exhausted; check for reprint
    New edition available
  20. Cover: Specification Case Studies in RAISE - Springer
    Hung Dang Van | Chris George | Tomasz Janowski
    Specification Case Studies in RAISE
    02/2002
    Springer
    9781852333591 (ISBN)
    Book
    Paperback/Softback
    €106.99
    Shipment within 15-20 days
    2. of 2