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

Your search for Formal Approaches to Computing and Information Technology (FACIT)

  1. 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
  2. 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
  3. 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
  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: 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
  6. 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
  7. 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
  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: 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  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