We have over a million books in stock
How it works
Contact
Search for a book, author or category...
Fiction
Fiction
World prose
Sci-fi and Fantasy
Detective and Thriller
Romance
Historical prose
Comic books
Educational
Educational
History
Encyclopedia
Hobby and Home
Motivation and Self-help
Psychology
Sport
Culture
Biographies
For kids and young adults
For the youngest
Fairy tales
Accordion books
For younger children
All books for younger readers
First reading
Younger schoolchildren
Fairy tales
Children's encyclopedias
Paper crafts
For older readers
All books for older readers
Older school children
Game books
Fairy tales
Children's encyclopedias
For young adults
All books for young adults
Young Adult
Horror books for young adults
Other categories
Other categories
Cookbooks
Textbooks
Maps and Travel
Esotericism and Religion
Foreign language books
Foreign language books
Polish books
German books
French books
Italian books
Spanish books
Russian books
Tips for Gifts
Who do you want to give a book to?
Gifts for Little Ones
Gifts for Younger Schoolchildren
Gifts for Older Schoolchildren
Gifts for Mom
Gifts for Dad
Gifts for Grandma
Gifts for Grandpa
Take our Advice!
Bestselling books
Books made into Movies
bookbot.com
/
All books
/
Computers, IT, Programming
/
Types for proofs and programs
The book is currently out of stock
Types for proofs and programs
Authors
Herman Geuvers
Parameters
ISBN
9783540140313
Publisher
Springer
Categories
Computers, IT, Programming
Lecture notes in computer science
Book variant
2003
Book purchase
The book is currently out of stock.
Track book availability
20032003
20032003