Suggested Topics within your search.
Showing 1 - 8 results of 8 for search '"Formal Approaches to Computing and Information Technology (FACIT)"', query time: 0.09s Refine Results
  1. 1
    Notations for Software Design /

    Notations for Software Design / by Feijs, L. M. G. (Loe M. G.)

    Published 1994
    “…Formal Approaches to Computing and Information Technology (FACIT)…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    On the Refinement Calculus /

    On the Refinement Calculus / by Morgan, Carroll

    Published 1994
    “…Formal Approaches to Computing and Information Technology (FACIT)…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  3. 3
    Systems, Models and Measures /

    Systems, Models and Measures / by Kaposi, Agnes

    Published 1994
    “…Formal Approaches to Computing and Information Technology (FACIT)…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    High-Integrity System Specification and Design /

    High-Integrity System Specification and Design / by Bowen, Jonathan P.

    Published 1999
    “…Formal Approaches to Computing and Information Technology (FACIT)…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Industrial-Strength Formal Methods in Practice /

    Industrial-Strength Formal Methods in Practice / by Hinchey, Michael G.

    Published 1999
    “…Formal Approaches to Computing and Information Technology (FACIT)…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  6. 6
    Proof in VDM: Case Studies /

    Proof in VDM: Case Studies / by Bicarregui, J. C.

    Published 1998
    “…Formal Approaches to Computing and Information Technology (FACIT)…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  7. 7
    Program Development by Refinement : Case Studies Using the B Method /

    Program Development by Refinement : Case Studies Using the B Method / by Sekerinski, Emil

    Published 1999
    “…Formal Approaches to Computing and Information Technology FACIT.…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  8. 8
    On the refinement calculus /

    On the refinement calculus /

    Published 1994
    “…Formal approaches to computing and information technology (FACIT)…”
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search