Flat 10% Off Upto 10AED - Use Code FLAT10
Purchase Any Book And Get 5AED Off - Use Code FIRST
Hello, User
Log in
New to Bookswagon?
Sign up
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Currency
AED
AED
Log out
0
0
Book
New Arrivals
Box Sets
Best sellers
Fiction Books
Award Winners
Featured Authors
Today's Deal
Request a Book
Art, Film & Photography
Architecture
Industrial / commercial art & design
Music
Performing arts
The arts: general issues
Art treatments & subjects
Language, Linguistics & Creative Writing
Language teaching and learning
Language: reference and general
Biographies & Memoire
Biography and non-fiction prose
Fiction and Literature
Adventure / action fiction
Biographical fiction / autobiographical fiction
Crime and mystery fiction
Fiction: general and literary
Sports fiction
Thriller / suspense fiction
Reference
Encyclopaedias and reference works
Interdisciplinary studies
Library and information sciences / Museology
Research and information: general
Society and Social Sciences
Education
Politics and government
Warfare and defence
Business and Economics
Finance and accounting
Law
International law
Laws of specific jurisdictions
Medicine & Health Science textbooks
Clinical and internal medicine
Medicine: general issues
Pre-clinical medicine: basic sciences
History and Archaeology
History
Mathematics and Science Textbooks
Mathematics
Physics
Science: general issues
Religion, Philosophy & Sprituality
Religion and beliefs
Sciences & Environment
Earth sciences
Geography
Regional and area planning
The environment
Sports
Athletics, gymnastics and related sports
Ball sports / ball games
Combat sports and self-defence
Vehicle sports
Water sports and recreations
Science, Technology & Agriculture
Biochemical engineering
Civil engineering, surveying and building
Electronics and communications engineering
Environmental science, engineering and technology
Mechanical engineering and materials
Computing and Information Technology
Business applications
Computer certification
Computer hardware
Computer science
Computer security
Health, Relationships and Personal development
Mind, body, spirit
Self-help, personal development and practical advice
Lifestyle, Hobbies and Home
Cookery, Food & Wine
Handicrafts, decorative arts and crafts
Travel and holiday
Children's Books
Children’s / Teenage fiction and true stories
Teen & Young Adult General interest
Early learning
Login & Sign up
×
Books
Art, Film & Photography
Architecture
Industrial / commercial art & design
Music
Performing arts
The arts: general issues
Art treatments & subjects
Language, Linguistics & Creative Writing
Language teaching and learning
Language: reference and general
Biographies & Memoire
Biography and non-fiction prose
Fiction and Literature
Adventure / action fiction
Biographical fiction / autobiographical fiction
Crime and mystery fiction
Fiction: general and literary
Sports fiction
Thriller / suspense fiction
Reference
Encyclopaedias and reference works
Interdisciplinary studies
Library and information sciences / Museology
Research and information: general
Society and Social Sciences
Education
Politics and government
Warfare and defence
Business and Economics
Finance and accounting
Law
International law
Laws of specific jurisdictions
Medicine & Health Science textbooks
Clinical and internal medicine
Medicine: general issues
Pre-clinical medicine: basic sciences
History and Archaeology
History
Mathematics and Science Textbooks
Mathematics
Physics
Science: general issues
Religion, Philosophy & Sprituality
Religion and beliefs
Sciences & Environment
Earth sciences
Geography
Regional and area planning
The environment
Sports
Athletics, gymnastics and related sports
Ball sports / ball games
Combat sports and self-defence
Vehicle sports
Water sports and recreations
Science, Technology & Agriculture
Biochemical engineering
Civil engineering, surveying and building
Electronics and communications engineering
Environmental science, engineering and technology
Mechanical engineering and materials
Computing and Information Technology
Business applications
Computer certification
Computer hardware
Computer science
Computer security
Health, Relationships and Personal development
Mind, body, spirit
Self-help, personal development and practical advice
Lifestyle, Hobbies and Home
Cookery, Food & Wine
Handicrafts, decorative arts and crafts
Travel and holiday
Children's Books
Children’s / Teenage fiction and true stories
Teen & Young Adult General interest
Early learning
New Arrivals
Box Sets
Best sellers
Fictions Books
Award Winners
Featured Authors
Today's Deal
Request Books
Home
Account
0
Wishlist
0
Cart
Categories
Close
Refine your Search
Availability
All
(30)
In Stock
(1)
Out of Stock
(29)
Shipping Time
All
(30)
Within 1 Week
(29)
1-2 Weeks
(1)
Source
All
(30)
International
(30)
Binding
All
(30)
PaperBack
(26)
Others
(4)
Language
All
(30)
English
(22)
Others
(8)
Publication Year
All
(30)
2025
(1)
2022
(1)
2020
(1)
2019
(1)
Others
(26)
Filter By Category
All Categories
Art, Film & Photography
Business and Economics
Computing and Information Technology
Mathematics and Science Textbooks
Reference
Zhiming Liu
30
results found
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
1.
Theoretical Aspects of Computing – ICTAC 2022
By:
Zhiming Liu
,
Helmut Seidl
,
Corina S. Pasareanu
Publisher:
Springer International Publishing AG
No Review Yet
AED249
Binding:
Paperback
Release:
03 Oct 2022
Language:
English
International Edition
Ships within
16-18 Days
Explain..
2.
Engineering Trustworthy Software Systems
By:
Zhiming Liu
,
Cláudio Gomes
,
Jonathan P. Bowen
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED226
Binding:
Paperback
Release:
24 Apr 2025
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
3.
Engineering Trustworthy Software Systems
By:
Zili Zhang
,
Zhiming Liu
,
Jonathan P. Bowen
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED231
Binding:
Paperback
Release:
01 Aug 2020
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
4.
Engineering Trustworthy Software Systems
By:
Zili Zhang
,
Zhiming Liu
,
Jonathan P. Bowen
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED257
Binding:
Paperback
Release:
14 Apr 2019
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
5.
Automated Technology for Verification and Analysis
By:
Zhiming Liu
,
Anders P. Ravn
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
29 Sep 2009
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
6.
Domain Modeling and the Duration Calculus
By:
Zhiming Liu
,
Chris George
,
Jim Woodcock
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
28 Aug 2007
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
7.
Dependable Software Engineering: Theories, Tools, and Applications
By:
Zhiming Liu
,
Wang Yi
,
Xuandong Li
Publisher:
Springer International Publishing AG
No Review Yet
AED206
Binding:
Paperback
Release:
27 Oct 2015
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
8.
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
By:
Zhiming Liu
,
Jifeng He
Publisher:
World Scientific Publishing Co Pte Ltd
No Review Yet
AED718
Binding:
Hardback
Release:
04 Dec 2006
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
9.
Formal Methods and Software Engineering
By:
Zhiming Liu
,
Jifeng He
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED459
Binding:
Paperback
Release:
24 Oct 2006
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
10.
Foundations of Health Informatics Engineering and Systems
By:
Zhiming Liu
,
Alan Wassyng
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED216
Binding:
Paperback
Release:
06 Jul 2012
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
11.
Mathematical Frameworks for Component Software
By:
Zhiming Liu
,
Jifeng He
Publisher:
World Scientific Publishing Co Pte Ltd
No Review Yet
AED628
Binding:
Digital (delivered electronically)
Release:
/12/2006
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
12.
Theoretical Aspects of Computing -- ICTAC 2013
By:
Zhiming Liu
,
Jim Woodcock
,
Huibiao Zhu
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
15 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
13.
Theories of Programming and Formal Methods
By:
Zhiming Liu
,
Jim Woodcock
,
Huibiao Zhu
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
31 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
14.
Unifying Theories of Programming and Formal Engineering Methods
By:
Zhiming Liu
,
Jim Woodcock
,
Huibiao Zhu
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
19 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
15.
Formal Methods and Software Engineering
By:
Zhiming Liu
,
Jifeng He
Publisher:
Springer
No Review Yet
AED105
Binding:
Paperback
Release:
05 Sep 2008
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
16.
Theoretical Aspects of Computing - Ictac 2007
By:
Zhiming Liu
,
Jones Woodcock
,
Cliff B Jones
Publisher:
Springer
No Review Yet
AED105
Binding:
Paperback
Release:
04 Sep 2008
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
17.
Formal Methods and Hybrid Real-Time Systems
By:
Zhiming Liu
,
Jim Woodcock
,
Cliff B Jones
Publisher:
Springer
No Review Yet
AED105
Binding:
Paperback
Release:
10 Sep 2008
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
18.
Formal Aspects of Component Software
By:
Zhiming Liu
,
Jinyun Xue
,
Jose Luiz Fiadeiro
Publisher:
Springer
No Review Yet
AED105
Binding:
Paperback
Release:
31 Jul 2014
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
19.
Automated Technology for Verification and Analysis
By:
Zhiming Liu
,
Anders P Ravn
Publisher:
Springer
No Review Yet
AED105
Binding:
Paperback
Release:
17 Oct 2009
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
20.
Domain Modeling and the Duration Calculus
By:
Zhiming Liu
,
Chris George
,
Jim Woodcock
Publisher:
Springer
No Review Yet
AED105
Binding:
Paperback
Release:
26 Aug 2008
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
Loading more results
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
