My Account
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
Books
Bestsellers
BW Bestsellers
International Bestsellers
Shop by Age
0-2 years
3-5 years
6-8 years
9-12 years
Teen and Young Adults
We Recommend
Best Books of 2026
BW Monthly Picks
Award Winners
Books by Budget
Under AED 20
AED 20 – AED 40
AED 40 – AED 60
Above AED 60
Browse
New Releases
Books in Indian Languages
Books in Foreign Languages
Books Box Sets
Book Awards
Special Editions for Gifts
Sprayed Edges
International Hardcovers
Large Print Books
Top Subjects
MODERN & contemporary fiction
Ancient Sagas and epics
Classic crime and mystery fiction
Advice on careers and achieving success
Classic science fiction
General, modern and contemporary fiction
Language: reference and general
Literary reference works
Thriller / suspense fiction
Fiction: general and literary
General and world history
Popular psychology
History
Historical romance
Historical crime and mysteries
Fiction
Bestsellers
Fiction Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Fiction
Fiction New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
MODERN & contemporary fiction
Classic crime and mystery fiction
Classic science fiction
Thriller / suspense fiction
Fiction: general and literary
Historical romance
Historical crime and mysteries
Historical fantasy
Historical adventure fiction
Classic fiction
Crime and mystery fiction
Saga fiction (family / generational sagas)
Fantasy
Historical fiction
Modern and Contemporary romance
Non-Fiction
Bestsellers
Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Nonfiction
New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
Ancient Sagas and epics
Advice on careers and achieving success
Language: reference and general
Literary reference works
General and world history
Popular psychology
History
Personal finance
Self-help, personal development and practical advice
Poetry anthologies (various poets)
Cognitive studies
Christianity
Relationships and families: advice and issues
Popular philosophy
Reference works
Teens & YA
Bestsellers
YA Best Selling
Browse
Best Teens & Young Adults
Subjects
Thriller & Suspense
Sci-fi
Romance
Mystery & Crime
Fiction
Fantasy & Adventure
Popular Series
The Hunger Games
Harry Potter Series
Percy Jackson & the Olympians
Twilight Saga
Shadow and Bone
A Court of Thorns and Roses
A Good Girl's Guide To Murder
Inheritance Games
Shatter Me
The Powerless
Favourites
Graphic Novels
Novels & Fiction
Short Stories
Kids
Bestsellers
Bestsellers Books
Browse
Board Books
Picture Books
Chapter Books
Colouring Books
Box Sets
Favourites
Manga for Kids
Kids classic
Summer Reading
Daddy & Me
Age
Age 0–2
Age 3–5
Age 6–8
Age 9–12
Popular Series
Tenali Rama
Akbar and Birbal
Chacha Chaudhary
Champak
Panchatantra
Amar Chitra Katha
Mythology for Kids
Learning & Activity
Rhymes & Alphabet Books
Quiz & Puzzle Books
Craft & DIY Books
Young Reader
Harry Potter
Diary of a Wimpy Kid
Graphic Novel
Dog Man
LEGO
The Chronicles of Narnia
Percy Jackson
The Hobbit
Matilda
Sudha Murty's Children's Books
Manga
New Arrivals
Award Winners
Featured Authors
Today's Deal
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 Books
Adventure / action fiction
Biographical fiction / autobiographical fiction
Crime and mystery fiction
Fiction: general and literary
Sports fiction
Thriller / suspense fiction
Reference Books
Encyclopaedias and reference works
Interdisciplinary studies
Library and information sciences / Museology
Research and information: general
Society and Social Sciences
Education Books
Politics and government
Warfare and defence
Business and Economics Books
Finance and accounting
Law Books
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 books
Mathematics
Physics
Science: general issues
Religion, Philosophy & Sprituality Books
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 Books
Business applications
Computer certification
Computer hardware
Computer Science Books
Computer security books
Health, Relationships and Personal development
Mind, body, spirit books
Self-help, personal development and practical advi
Lifestyle, Hobbies and Home Books
Cookery, Food & Wine Books
Handicrafts, decorative arts and crafts
Travel and holiday books
Children's Books
Children’s / Teenage fiction and true stories
Teen & Young Adult Books
Early Learning Books
My Account
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Books
Bestsellers
BW Bestsellers
International Bestsellers
Shop by Age
0-2 years
3-5 years
6-8 years
9-12 years
Teen and Young Adults
We Recommend
Best Books of 2026
BW Monthly Picks
Award Winners
Books by Budget
Under AED 20
AED 20 – AED 40
AED 40 – AED 60
Above AED 60
Browse
New Releases
Books in Indian Languages
Books in Foreign Languages
Books Box Sets
Book Awards
Special Editions for Gifts
Sprayed Edges
International Hardcovers
Large Print Books
Top Subjects
MODERN & contemporary fiction
Ancient Sagas and epics
Classic crime and mystery fiction
Advice on careers and achieving success
Classic science fiction
General, modern and contemporary fiction
Language: reference and general
Literary reference works
Thriller / suspense fiction
Fiction: general and literary
General and world history
Popular psychology
History
Historical romance
Historical crime and mysteries
Fiction
See All Fiction
Bestsellers
Fiction Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Fiction
Fiction New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
MODERN & contemporary fiction
Classic crime and mystery fiction
Classic science fiction
Thriller / suspense fiction
Fiction: general and literary
Historical romance
Historical crime and mysteries
Historical fantasy
Historical adventure fiction
Classic fiction
Crime and mystery fiction
Saga fiction (family / generational sagas)
Fantasy
Historical fiction
Modern and Contemporary romance
Non-Fiction
See All Non-Fiction
Bestsellers
Bestsellers
BW Bestsellers
Indian Bestsellers
New York Times Bestsellers
Paperback Bestsellers
Hardcover Bestsellers
Shop Nonfiction
New Releases
Indian Language Books
Browse
Best Books of the Year
Book Awards
Box Sets
Large Print
Paperback Store
Special Editions
Sprayed Edges
We Recommend
BW Discover Picks
Top Subjects
Ancient Sagas and epics
Advice on careers and achieving success
Language: reference and general
Literary reference works
General and world history
Popular psychology
History
Personal finance
Self-help, personal development and practical advice
Poetry anthologies (various poets)
Cognitive studies
Christianity
Relationships and families: advice and issues
Popular philosophy
Reference works
Teens & YA
See All Teens & Ya
Bestsellers
YA Best Selling
Browse
Best Teens & Young Adults
Subjects
Thriller & Suspense
Sci-fi
Romance
Mystery & Crime
Fiction
Fantasy & Adventure
Popular Series
The Hunger Games
Harry Potter Series
Percy Jackson & the Olympians
Twilight Saga
Shadow and Bone
A Court of Thorns and Roses
A Good Girl's Guide To Murder
Inheritance Games
Shatter Me
The Powerless
Favourites
Graphic Novels
Novels & Fiction
Short Stories
Kids
See All Kids
Bestsellers
Bestsellers Books
Browse
Board Books
Picture Books
Chapter Books
Colouring Books
Box Sets
Favourites
Manga for Kids
Kids classic
Summer Reading
Daddy & Me
Age
Age 0–2
Age 3–5
Age 6–8
Age 9–12
Popular Series
Tenali Rama
Akbar and Birbal
Chacha Chaudhary
Champak
Panchatantra
Amar Chitra Katha
Mythology for Kids
Learning & Activity
Rhymes & Alphabet Books
Quiz & Puzzle Books
Craft & DIY Books
Young Reader
Harry Potter
Diary of a Wimpy Kid
Graphic Novel
Dog Man
LEGO
The Chronicles of Narnia
Percy Jackson
The Hobbit
Matilda
Sudha Murty's Children's Books
Manga
Award Winners
Featured Authors
Request a Book
About Us
Contact Us
Blog
Home
Account
0
Wishlist
0
Cart
Categories
Refine your Search
Availability
All
(9)
In Stock
(4)
Out of Stock
(5)
Shipping Time
All
(9)
Within 1 Week
(3)
1-2 Weeks
(6)
Source
All
(9)
Indian
(5)
International
(4)
Binding
All
(9)
PaperBack
(8)
Others
(1)
Language
All
(9)
English
(6)
Others
(3)
Publication Year
All
(9)
Others
(9)
Filter
×
Availability
Shipping Time
Source
Binding
Language
Publication Year
All
(0)
All
(9)
In Stock
(4)
Out of Stock
(5)
All
(9)
Within 1 Week
(3)
1-2 Weeks
(6)
All
(9)
Indian
(5)
International
(4)
All
(9)
Paperback
(8)
Others
(1)
All
(9)
English
(6)
Others
(3)
All
(9)
Others
(9)
Filter By Category
All Categories
Art, Film & Photography
Computing and Information Technology Books
Mathematics and Science books
Medicine & Health Science textbooks
Reference Books
Science, Technology & Agriculture
9
results found
0
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
1.
Interactive Theorem Proving
By:
Christine Paulin-Mohring
,
Sandrine Blazy
,
David Pichardie
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED188
Binding:
Paperback
Release:
19 Jul 2013
Language:
English
Available
Ships within
14-16 Days
Explain..
2.
Types for Proofs and Programs
By:
Christine Paulin-Mohring
,
Eduardo Gimenez
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED273
Binding:
Paperback
Release:
07 Oct 1998
Language:
English
International Edition
Ships within
10-12 Days
Explain..
3.
Mathematics of Program Construction
By:
Christine Paulin-Mohring
,
Philippe Audebaud
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED94
Binding:
Paperback
Release:
04 Jul 2008
Language:
English
Available
Ships within
10-12 Days
Explain..
4.
Types for Proofs and Programs
By:
Jean-Christophe Filliatre
,
Christine Paulin-Mohring
,
Benjamin Werner
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED225
Binding:
Paperback
Release:
25 Jan 2006
Language:
English
Available
Ships within
14-16 Days
Explain..
5.
Interactive Theorem Proving
By:
Paulin-Mohring Christine Paulin-Mohring
,
Pichardie David Pichardie
,
Blazy Sandrine Blazy
Publisher:
Springer Nature B.V.
No Review Yet
AED223
Binding:
Paperback
Release:
20 Jun 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.
6.
Types for Proofs and Programs
By:
Christine Paulin-Mohring
,
Eduardo Gimenez
Publisher:
Springer
No Review Yet
AED88
Binding:
Paperback
Release:
11 Sep 2014
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
7.
Types for Proofs and Programs
By:
Christine Paulin-Mohring
,
Eduardo Gimenez
Publisher:
Springer
No Review Yet
AED242
Binding:
Digital (delivered electronically)
Release:
01 Nov 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.
8.
Mathematics of Program Construction
By:
Christine Paulin-Mohring
,
Philippe Audebaud
Publisher:
Springer
No Review Yet
AED24
Binding:
Paperback
Release:
12 May 2009
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
9.
Types for Proofs and Programs
By:
Christine Paulin-Mohring
,
Benjamin Werner
,
Jean-Christophe Filliatre
Publisher:
Springer
No Review Yet
AED88
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.
No more records found
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
Your IP: 216.73.216.114 IN
