Search Results - Hierons, Robert M.
- Showing 1 - 5 results of 5
-
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, 2020Other Authors: “…Hierons, Robert M.…”Description: 1 online resource (xi, 411 pages) : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2013Other Authors: “…Hierons, Robert M.…”Description: 1 online resource (xviii, 321 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2018Other Authors:Description: 1 online resource (xii, 171 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
Software engineering for robotics by SpringerLink (Online service)
Published: Springer, 2021Other Authors:Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
5
Formal methods and testing : an outcome of the FORTEST network : revised selected papers by FORTEST (Network)
Published: Springer, 2008Other Authors: “…Hierons, Robert M.…”Description: 1 online resource (xi, 366 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook