UAE's Largest Online Bookstore with Wide Range of Book Collection
Latest releases collection
#1 Best-selling 2024 “The Women” by Kristin Hannah
Hello, User
Log in
New to Booksbay?
Sign up
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Currency
AED
AED
Log out
0
Book
New Arrivals
Box Sets
Best sellers
Fiction Books
Award Winners
Featured Authors
Today's Deal
Request a Book
0
Arts & Photography
Architecture
Art forms
Art treatments & subjects
Dance & other performing arts
Film, tv & radio
History of art / art & design styles
Industrial / commercial art & design
Music
Photography & photographs
The arts: general issues
Theatre studies
Dictionaries & Language
Language teaching & learning (other than ELT)
Language: reference & general
Linguistics
Literature & literary studies
Anthologies (non-poetry)
Classical texts
Literature: history & criticism
Plays, playscripts
Poetry
Prose: non-fiction
English Language Teaching
Elt background & reference material
Elt: english for specific purposes
Elt: learning material & coursework
Fiction
Adventure
Classic fiction
Crime & mystery
Erotic fiction
Fantasy
Fiction-related items
Fiction: special features
Graphic novels
Historical fiction
Horror & ghost stories
Myth & legend told as fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopaedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Business & Economics
Business & management
Economics
Finance & accounting
Industry & industrial studies
Law
International law
Jurisprudence & general issues
Law: study & revision guides
Laws of specific jurisdictions
Medicine
Clinical & internal medicine
Complementary medicine
Medical study & revision guides & reference mater
Medicine: general issues
Nursing & ancillary services
Other branches of medicine
Pre-clinical medicine: basic sciences
Surgery
Veterinary medicine
Science & Mathematics
Astronomy, space & time
Biology, life sciences
Chemistry
Mathematics
Physics
Science: general issues
Environment & Geography
Earth sciences
Geography
Regional & area planning
The environment
Technology & Engineering
Agriculture & farming
Biochemical engineering
Civil engineering, surveying & building
Electronics & communications engineering
Energy technology & engineering
Environmental science, engineering & technology
Industrial chemistry & manufacturing technologies
Mechanical engineering & materials
Other technologies & applied sciences
Technology: general issues
Transport technology & trades
Computer & Internet
Business applications
Computer certification
Computer hardware
Computer networking & communications
Computer programming / software development
Computer science
Computer security
Computing: general
Databases
Digital lifestyle
Graphical & digital media applications
Operating systems
Parenting, Family & Health
Body, Mind & Spirit
Family & health
Self Help & Personal Development
Lifestyle
Antiques & collectables
Cookery, Food & Wine
Gardening
Handicrafts, decorative arts & crafts
Hobbies, quizzes & games
Home & house maintenance
Humour
Lifestyle & personal style guides
Local interest, family history & nostalgia
Miscellaneous items
Natural history
Sports
Transport: general interest
Travel & holiday
Login & Sign up
×
Books
Arts & Photography
Architecture
Art forms
Art treatments & subjects
Dance & other performing arts
Film, tv & radio
History of art / art & design styles
Industrial / commercial art & design
Music
Photography & photographs
The arts: general issues
Theatre studies
Dictionaries & Language
Language teaching & learning (other than ELT)
Language: reference & general
Linguistics
Literature & literary studies
Anthologies (non-poetry)
Classical texts
Literature: history & criticism
Plays, playscripts
Poetry
Prose: non-fiction
English Language Teaching
Elt background & reference material
Elt: english for specific purposes
Elt: learning material & coursework
Fiction
Adventure
Classic fiction
Crime & mystery
Erotic fiction
Fantasy
Fiction-related items
Fiction: special features
Graphic novels
Historical fiction
Horror & ghost stories
Myth & legend told as fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopaedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Business & Economics
Business & management
Economics
Finance & accounting
Industry & industrial studies
Law
International law
Jurisprudence & general issues
Law: study & revision guides
Laws of specific jurisdictions
Medicine
Clinical & internal medicine
Complementary medicine
Medical study & revision guides & reference mater
Medicine: general issues
Nursing & ancillary services
Other branches of medicine
Pre-clinical medicine: basic sciences
Surgery
Veterinary medicine
Science & Mathematics
Astronomy, space & time
Biology, life sciences
Chemistry
Mathematics
Physics
Science: general issues
Environment & Geography
Earth sciences
Geography
Regional & area planning
The environment
Technology & Engineering
Agriculture & farming
Biochemical engineering
Civil engineering, surveying & building
Electronics & communications engineering
Energy technology & engineering
Environmental science, engineering & technology
Industrial chemistry & manufacturing technologies
Mechanical engineering & materials
Other technologies & applied sciences
Technology: general issues
Transport technology & trades
Computer & Internet
Business applications
Computer certification
Computer hardware
Computer networking & communications
Computer programming / software development
Computer science
Computer security
Computing: general
Databases
Digital lifestyle
Graphical & digital media applications
Operating systems
Parenting, Family & Health
Body, Mind & Spirit
Family & health
Self Help & Personal Development
Lifestyle
Antiques & collectables
Cookery, Food & Wine
Gardening
Handicrafts, decorative arts & crafts
Hobbies, quizzes & games
Home & house maintenance
Humour
Lifestyle & personal style guides
Local interest, family history & nostalgia
Miscellaneous items
Natural history
Sports
Transport: general interest
Travel & holiday
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
(60)
In Stock
(34)
Out of Stock
(26)
Shipping Time
All
(60)
Within 1 Week
(5)
1-2 Weeks
(52)
Over 2 Weeks
(3)
Source
All
(60)
Indian
(5)
International
(55)
Binding
All
(60)
PaperBack
(59)
Others
(1)
Language
All
(60)
English
(60)
Publication Year
All
(60)
2024
(1)
2023
(1)
2022
(8)
2021
(4)
2020
(6)
2019
(2)
2018
(8)
Others
(30)
Filter By Category
All Categories
Business & Economics
Computer & Internet
Dictionaries & Language
General
Medicine
References & Encyclopaedias
Science & Mathematics
Technology & Engineering
Tiziana Margaria Tiziana
60
results found
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
1.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer International Publishing
No Review Yet
AED593
Binding:
Paperback
Release:
27 Oct 2020
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
2.
Leveraging Applications of Formal Methods, Verification and Validation
By:
Tiziana (EDT) Margaria
,
Bernhard (EDT) Steffen
,
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED820
Binding:
Paperback
Release:
14 Oct 2008
Language:
English
Available
Ships within
10-12 Days
Explain..
Free Shipping in UAE.
3.
Service-Oriented Computing - ICSOC 2008
By:
Ingolf Krueger
,
Tiziana (EDT) Margaria
,
Athman (EDT) Bouguettaya
,
Ingolf (EDT) Krnger
,
Tiziana Margaria
Publisher:
Springer
No Review Yet
AED676
Binding:
Paperback
Release:
13 Nov 2008
Language:
English
Available
Ships within
10-12 Days
Explain..
Free Shipping in UAE.
4.
Tools and Algorithms for the Construction and Analysis of Systems
By:
Kim G. Larsen
,
Ed Brinksma
,
W. Rance Cleaveland
,
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer
No Review Yet
AED329
Binding:
Paperback
Release:
23 Nov 1995
Language:
English
Available
Ships within
9-10 Days
Explain..
Free Shipping in UAE.
5.
Services and Visualization: Towards User-Friendly Design
By:
J. Hartmanis
,
Joachim Posegga
,
Ermann Van Leeuwen
,
Tiziana Margaria
,
Roland Ruckert
Publisher:
Springer
No Review Yet
AED340
Binding:
Paperback
Release:
18 Mar 1998
Language:
English
Available
Ships within
9-10 Days
Explain..
Free Shipping in UAE.
6.
Software Process Improvement
By:
Richard Messnarz
,
Pekka Abrahamsson
,
Nathan Baddoo
,
Tiziana Margaria
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED322
Binding:
Paperback
Release:
01 Nov 2007
Language:
English
Available
Ships within
10-12 Days
Explain..
Free Shipping in UAE.
7.
Engineering of Computer-Based Systems
By:
Tiziana Margaria
,
Jan Kofroň
,
Cristina Seceleanu
Publisher:
Springer Nature Switzerland
No Review Yet
AED582
Binding:
Paperback
Release:
29 Nov 2023
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
8.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer International Publishing
No Review Yet
AED933
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
9.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer Nature Switzerland
No Review Yet
AED756
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
10.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer Nature Switzerland
No Review Yet
AED756
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
11.
Leveraging Applications of Formal Methods, Verification and Validation. Practice
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer Nature Switzerland
No Review Yet
AED696
Binding:
Paperback
Release:
20 Oct 2022
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
12.
Leveraging Applications of Formal Methods, Verification and Validation
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer Nature Switzerland AG
No Review Yet
AED771
Binding:
Paperback
Release:
12 Oct 2021
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
13.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer International Publishing
No Review Yet
AED580
Binding:
Paperback
Release:
13 Sep 2021
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
14.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer International Publishing
No Review Yet
AED953
Binding:
Paperback
Release:
10 Dec 2020
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
15.
Leveraging Applications of Formal Methods, Verification and Validation: Applications
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer International Publishing
No Review Yet
AED593
Binding:
Paperback
Release:
08 Dec 2020
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
16.
Models, Mindsets, Meta: The What, the How, and the Why Not?
By:
Kim G. Larsen
,
Susanne Graf
,
Tiziana Margaria
,
Kim G Larsen
Publisher:
Springer International Publishing
No Review Yet
AED560
Binding:
Paperback
Release:
26 Jun 2019
Language:
English
International Edition
Ships within
20-22 Days
Explain..
Free Shipping in UAE.
17.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer
No Review Yet
AED593
Binding:
Paperback
Release:
29 Oct 2018
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
18.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer
No Review Yet
AED593
Binding:
Paperback
Release:
30 Oct 2018
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
19.
Leveraging Applications of Formal Methods, Verification and Validation. Verification
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer
No Review Yet
AED593
Binding:
Paperback
Release:
30 Oct 2018
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
20.
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
By:
Tiziana Margaria
,
Bernhard Steffen
Publisher:
Springer
No Review Yet
AED593
Binding:
Paperback
Release:
31 Oct 2018
Language:
English
International Edition
Ships within
22-24 Days
Explain..
Free Shipping in UAE.
Loading more results
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
