Buy books written by Stephan Merz Available at Bookswagon
Stephan Merz

Stephan Merz

11 results found
List viewGrid view
Sort By:
1.
Temporal Logic and State Systems
No Review Yet
AED136
Binding:
Hardback
Release:
27 Mar 2008
Language:
English
Available
Ships within 10-12 Days Explain..
2.
Integrated Formal Methods
No Review Yet
AED268
Binding:
Paperback
Release:
06 Oct 2010
Language:
English
International Edition
Ships within 16-18 Days Explain..
3.
Temporal Logic and State Systems
No Review Yet
AED380
Binding:
Paperback
Release:
25 Nov 2010
Language:
English
Available
Ships within 12-14 Days Explain..
4.
An Outline History Of American Literature
No Review Yet
AED168
Binding:
Paperback
Release:
08 Dec 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
5.
Interactive Theorem Proving
No Review Yet
AED184
Binding:
Paperback
Release:
07 Aug 2016
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Formal Systems Specification
No Review Yet
AED271
Binding:
Paperback
Release:
06 Nov 1996
Language:
English
International Edition
Ships within 16-18 Days Explain..
7.
Modeling and Verification of Real-time Systems
No Review Yet
AED1,109
Binding:
Hardback
Release:
10 Mar 2008
Language:
English
International Edition
Ships within 18-20 Days Explain..
8.
Formal Methods and Software Engineering
No Review Yet
AED253
Binding:
Paperback
Release:
23 Sep 2014
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Temporal Logic and State Systems
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
12 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
10.
Formal Systems Specification
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
11 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
11.
Formal Systems Specification
Publisher: Springer
No Review Yet
AED405
Binding:
Digital (delivered electronically)
Release:
01 Feb 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found