Search Results - Merz, Stephan
- Showing 1 - 4 results of 4
-
1
Temporal logic and state systems by Kröger, Fred, 1945-
Published: Springer, 2008Other Authors: “…Merz, Stephan…”Description: 1 online resource (xi, 433 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
2
Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings by International Conference on Integrated Formal Methods Nancy, France, SpringerLink (Online service)
Published: Springer, 2010Other Authors:Description: 1 online resource (x, 335 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings by ITP (Conference) Nancy, France), SpringerLink (Online service)
Published: Springer, 2016Other Authors:Description: 1 online resource (xvii, 502 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings by International Conference on Formal Engineering Methods Luxembourg, Luxembourg, SpringerLink (Online service)
Published: Springer, 2014Other Authors: “…Merz, Stephan…”Description: 1 online resource (xviii, 460 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook