Search Results - Fitzgerald, John, 1965-
- Showing 1 - 5 results of 5
-
1
Validated designs for object-oriented systems by SpringerLink (Online service)
Published: Springer, 2005Other Authors: “…Fitzgerald, John, 1965-…”Description: 1 online resource (xii, 402 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
2
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings by International Symposium of Formal Methods Europe Newcastle upon Tyne, England, SpringerLink (Online service)
Published: Springer, 2005Other Authors: “…Fitzgerald, John, 1965-…”Description: 1 online resource (xiv, 558 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Theoretical aspects of computing - ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 ; proceedings by ICTAC (Colloquium) Istanbul, Turkey), SpringerLink (Online service)
Published: Springer, 2008Other Authors: “…Fitzgerald, John, 1965-…”Description: 1 online resource (xi, 454 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings by International Symposium of Formal Methods Europe Limassol, Cyprus, SpringerLink (Online service)
Published: Springer, 2016Other Authors: “…Fitzgerald, John, 1965-…”Description: 1 online resource (xxiii, 789 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
5
Collaborative design for embedded systems : co-modelling and co-simulation by SpringerLink (Online service)
Published: Springer, 2014Other Authors: “…Fitzgerald, John, 1965-…”Description: 1 online resource (xxi, 385 pages) : illustrations (some color)
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook