Suggested Topics within your search.
Showing 1 - 8 results of 8 for search '"Formal Aspects of Computing"', query time: 0.47s Refine Results
  1. 1
    Formal aspects of computing : the international journal of formal methods.

    Formal aspects of computing : the international journal of formal methods.

    Published 1989
    Request a PDF (UCB only)
    Journal
    Save to List
    Saved in:
  2. 2
    Formal aspects of computing

    Formal aspects of computing

    Published 1989
    Online Access (A-Z Journals and Newspapers)
    Electronic Journal
    Save to List
    Saved in:
  3. 3
    6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /

    6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 /

    Published 1994
    Conference Proceeding Book
    Save to List
    Saved in:
  4. 4
    4th Refinement Workshop : proceedings of the 4th Refinement Workshop /

    4th Refinement Workshop : proceedings of the 4th Refinement Workshop /

    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
  5. 5
    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 /

    Published 2008
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    The practice of formal methods : essays in honour of Cliff Jones.

    The practice of formal methods : essays in honour of Cliff Jones.

    Published 2024
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  7. 7
    The practice of formal methods : essays in honour of Cliff Jones.

    The practice of formal methods : essays in honour of Cliff Jones.

    Published 2024
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  8. 8
    The application of formal methods : essays dedicated to Jim Woodcock on the occasion of his retirement /

    The application of formal methods : essays dedicated to Jim Woodcock on the occasion of his retirement /

    Published 2024
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search