Lets Explore,
Books
Fiction
Non-Fiction
Teens & Ya
Kids
Exams
Medical Exams
Manga
Award Winners
Featured Authors
Today's Deal
Home
Cart
Wishlist
Menu
Zhiming Liu
Books by Author
Filter
Foundations of Health Informatics Engineering and Systems
Zhiming Liu
0.0
₹5152.0
₹3148.62
Theoretical Aspects of Computing - ICTAC 2004
Keijiro Araki
0.0
₹11199.0
₹6843.35
Formal Aspects of Component Software
Zhiming Liu
0.0
₹5599.0
₹3475.51
Theoretical Aspects of Computing - ICTAC 2007
Zhiming Liu
0.0
₹2328.0
₹2258.16
Theoretical Aspects of Computing -- ICTAC 2013
Jim Woodcock
0.0
₹5599.0
₹3475.51
Engineering Trustworthy Software Systems
Zhiming Liu
0.0
₹5599.0
₹3475.51
Formal Methods and Hybrid Real-Time Systems
Jim Woodcock
0.0
₹2835.0
₹2749.95
Engineering Trustworthy Software Systems
Zhiming Liu
0.0
₹5599.0
₹3475.51
Dependable Software Engineering: Theories, Tools, and Applications
Zhiming Liu
0.0
₹5376.0
₹3337.77
Theoretical Aspects of Computing – ICTAC 2025
Zhiming Liu
0.0
₹8287.0
₹5064.37
Theoretical Aspects of Computing – ICTAC 2022
Zhiming Liu
0.0
₹5599.0
₹3475.51
Engineering Trustworthy Software Systems
Zhiming Liu
0.0
₹5599.0
₹3475.51
Automated Technology for Verification and Analysis
Zhiming Liu
0.0
₹5599.0
₹3475.51
Engineering Trustworthy Software Systems
Zhiming Liu
0.0
₹5599.0
₹3475.51
Engineering Trustworthy Software Systems
Zhiming Liu
0.0
₹5599.0
₹3475.51
Engineering Trustworthy Software Systems
Zhiming Liu
0.0
₹6495.0
₹3969.24
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
Zhiming Liu
0.0
₹7206.0
₹6989.82
Formal Methods and Software Engineering
Zhiming Liu
0.0
₹11199.0
₹4562.88
Theories of Programming and Formal Methods
Jim Woodcock
0.0
₹5599.0
₹3475.51
Unifying Theories of Programming and Formal Engineering Methods
Jim Woodcock
0.0
₹5599.0
₹3475.51
Web-Age Information Management
Kyuseok Shim
0.0
₹5599.0
₹3475.51
Domain Modeling and the Duration Calculus
Chris George
0.0
₹2835.0
₹2749.95
Environmental Catalysis and Air Pollution Control
Zhiming Liu
0.0
₹7971.0
₹5936.84
Mathematical Frameworks for Component Software
Zhiming Liu
0.0
₹0.0
Formal Methods and Software Engineering
Zhiming Liu
0.0
₹2201.45
₹2135.41
Automated Technology for Verification and Analysis
Zhiming Liu
0.0
₹2201.45
₹2135.41
Mathematical Frameworks for Component Software
Zhiming Liu
0.0
₹13183.54
₹12788.03
Formal Aspects of Component Software
Zhiming Liu
0.0
₹2201.45
₹2135.41
Mathematical Frameworks for Component Software
Zhiming Liu
0.0
₹0.0
Theoretical Aspects of Computing - Ictac 2004
Keijiro Araki
0.0
₹2201.45
₹2135.41
