markus müller olm author - Books - 24x7 online bookstore Bookswagon.ae
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
5 results found
List viewGrid view
Sort By:
1.
Variations on Constants
Variations on Constants
By: Markus Müller-Olm
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED146
Binding:
Paperback
Release:
02 Oct 2006
Language:
English
Available
Ships within 10-12 Days Explain..
2.
Modular Compiler Verification
Modular Compiler Verification
By: Markus Müller-Olm
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
06 Aug 1997
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
By: Neil Jones, Markus Müller-Olm
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
18 Dec 2008
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Static Analysis
Static Analysis
By: Helmut Seidl, Markus Müller-Olm
Publisher: Springer International Publishing AG
No Review Yet
AED231
Binding:
Paperback
Release:
20 Aug 2014
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
By: Xinyu Feng, Zijiang Yang, Markus Müller-Olm
Publisher: Springer International Publishing AG
No Review Yet
AED170
Binding:
Paperback
Release:
26 Aug 2018
Language:
English
Available
Ships within 14-16 Days Explain..
No more records found