FLAT 10% Off (Maximum Discount Rs.50) Use Code - BWSPECIAL10
Grab Bestselling Books upto 50% Off!
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
₹
$
Log out
0
Book
New Arrivals
Box Sets
Best sellers
Fiction Books
Award Winners
Featured Authors
Today's Deal
Request a Book
0
Art & 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
Biographies & Memoirs
Biography: general
Collected biographies
Diaries, letters & journals
Memoirs
True stories
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
Modern & contemporary fiction
Myth & legend told as fiction
Religious & spiritual fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Society & social sciences
Education
Politics & Current Events
Psychology
Social services & welfare, criminology
Society & culture: general
Sociology & anthropology
Warfare & defence
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
Children & Teens
Children’s & young adult fiction & true stories
Children’s & young adult general non-fiction
Children’s & young adult poetry, anthologies, annu
Children’s & young adult reference material
Children’s stationery & miscellaneous items
Educational material
Personal & social issues
Picture books, activity books & early learning material
Login & Sign up
×
Books
Art & 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
Biographies & Memoirs
Biography: general
Collected biographies
Diaries, letters & journals
Memoirs
True stories
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
Modern & contemporary fiction
Myth & legend told as fiction
Religious & spiritual fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Society & social sciences
Education
Politics & Current Events
Psychology
Social services & welfare, criminology
Society & culture: general
Sociology & anthropology
Warfare & defence
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
Children & Teens
Children’s & young adult fiction & true stories
Children’s & young adult general non-fiction
Children’s & young adult poetry, anthologies, annu
Children’s & young adult reference material
Children’s stationery & miscellaneous items
Educational material
Personal & social issues
Picture books, activity books & early learning material
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
By Price
All
(1)
Above Rs.2000
(1)
Availability
All
(1)
In Stock
(1)
Shipping Time
All
(1)
1-2 Weeks
(1)
Source
All
(1)
Indian
(1)
Binding
All
(1)
PaperBack
(1)
Language
All
(1)
English
(1)
Publication Year
All
(1)
Others
(1)
Filter By Category
All Categories
Computer & Internet
Science & Mathematics
Pierre Cast Ran
1
results found
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
Discount - Low to High
Discount - High to Low
1.
37
%
Interactive Theorem Proving and Program Development
By:
G. Huet
,
Pierre Cast Ran
,
Pierre Castéran
,
Yves Bertot
,
Pierre Casteran
Publisher:
Springer
1.0
(1)
₹7,680
₹4,838
Binding:
Paperback
Release:
15 Dec 2010
Language:
English
Available
Ships within
12-14 Days
Explain..
No more records found
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
