Å·±¦ÓéÀÖ
Home
My Books
Browse â–�
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community â–�
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends� recommendations
Account settings
Help
Sign out
Home
My Books
Browse â–�
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community â–�
Groups
Quotes
Ask the Author
Selecting multiple shelves is temporarily disabled. Sorry for the inconvenience!
Kirill
>
Books
:
coq
(1)
Compare Books
Settings
Stats
Print
|
Bookshelves
All (1223)
+
Want to Read (579)
+
Currently Reading (4)
+
Read (619)
+
abandoned (9)
+
administration (1)
+
algorithms (3)
+
artificial-intelligence (1)
+
astronomy (2)
+
biography (2)
+
business (2)
+
c (2)
+
childrens (15)
+
classics (1)
+
collective-intelligence (1)
+
computer-science (14)
−
coq (1)
+
creativity (1)
+
data-mining (2)
+
databases (4)
+
development (6)
−
django (2)
+
domain-driven-design (1)
+
economics (2)
+
education (4)
+
emacs (1)
+
erlang (3)
+
fantasy (1)
+
favourites (10)
+
fiction (5)
+
forth (1)
+
fp (9)
+
greece (1)
+
hadoop (1)
+
haskell (6)
+
history (3)
+
humour (1)
+
japanese (1)
−
java (3)
+
javascript (2)
+
leadership (1)
+
linux (5)
+
literature (67)
+
management (3)
+
map-reduce (1)
+
mathematics (23)
+
maven (1)
+
memory (1)
+
ml (1)
+
nosql (1)
+
not-finished (1)
+
operating-systems (2)
+
parenting (8)
+
people (1)
+
personal (3)
+
philosophy (7)
−
programming (76)
+
project-management (5)
+
psychology (18)
+
python (3)
+
r (1)
+
refactoring (1)
+
release-management (1)
+
russian (48)
+
rust (1)
+
scala (1)
+
science (17)
+
science-fiction (34)
+
social (7)
+
software (3)
+
software-architecture (2)
+
software-engineering (6)
+
spring (1)
+
systems-thinking (2)
+
unix (8)
+
web (1)
Reading stats
visible columns
select all
These settings only apply to table view.
asin
author
avg rating
comments
cover
date added
date pub
date pub (ed.)
date read
date started
format
isbn
isbn13
notes
num pages
num ratings
owned
position
rating
read count
review
my rating
title
votes
column sets
main
reading
list
review
owned
close
checkbox
position
cover
title
Interactive Theorem Proving and Program Development
author
Bertot, Yves
isbn
3540208542
isbn13
9783540208549
asin
3540208542
num pages
500
pp
avg rating
4.11
num ratings
28
date pub
Jun 24, 2004
date pub edition
May 14, 2004
Kirill's rating
my rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
add to shelves
review
None
notes
Notes are private!
comments
0
votes
0
# times read
0
date started
not set
date read
not set
date added
May 14, 2011
owned
format
Hardcover
actions
view
Loading...
1 of 1 loaded
More books shelved as 'coq,java,programming,django' »
Welcome back. Just a moment while we sign you in to your Å·±¦ÓéÀÖ account.
Loading...
