Search Results - Hierons, Robert M.

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Theoretical aspects of computing -- ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31-November 4, 2019, Proceedings by ICTAC (Colloquium) Hammamet, Tunisia), SpringerLink (Online service)

    Published: Springer, 2020
    Description: 1 online resource (xi, 411 pages) : illustrations (some color).
    Other Authors: “…Hierons, Robert M.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Theoretical aspects of computing -- ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31-November 4, 2019, Proceedings
  2. 2

    Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings by International Conference on Software Engineering and Formal Methods Madrid, Spain, SpringerLink (Online service)

    Published: Springer Berlin Heidelberg : Imprint : Springer, 2013
    Description: 1 online resource (xviii, 321 pages) : illustrations.
    Other Authors: “…Hierons, Robert M.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  3. 3

    Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings by ICTSS (Conference) Cádiz, Spain), SpringerLink (Online service)

    Published: Springer, 2018
    Description: 1 online resource (xii, 171 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
  4. 4

    Software engineering for robotics by SpringerLink (Online service)

    Published: Springer, 2021
    Description: 1 online resource.
    Other Authors:
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Software engineering for robotics
  5. 5

    Formal methods and testing : an outcome of the FORTEST network : revised selected papers by FORTEST (Network)

    Published: Springer, 2008
    Description: 1 online resource (xi, 366 pages) : illustrations.
    Other Authors: “…Hierons, Robert M.…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Formal methods and testing : an outcome of the FORTEST network : revised selected papers

Search Tools: