• E-books
  • E-Readers
  • Gift Cards
  • E-books
  • E-Readers
  • Gift Cards
Hello!
Personal Area
Wishlist
Orders
Compare list
Home Page
E-books
E-Readers
About us
Support
Home|Casteran, Pierre
Follow the Author
Casteran, Pierre
Casteran, Pierre
E-books
Mathematics and Science
Mathematics
Mathematical foundations
Mathematical logic
Computing and Information Technology
Computer programming / software engineering
Software Engineering
Computer science
Mathematical theory of computation

Casteran, Pierre

Author's Books

Sorting
Bestseller Sorting collapsed
Bestseller
Name: A-Z
Name: Z-A
Price ascending
Price descending
Publication Date ascending
Publication Date descending
E-books
Mathematics and Science
Mathematics
Mathematical foundations
Mathematical logic
Computing and Information Technology
Computer programming / software engineering
Software Engineering
Computer science
Mathematical theory of computation
E-book
Interactive Theorem Proving and Program Development
Casteran, Pierre
Casteran, Pierre
Price
0
74.50 £
LoaderLoaderLoaderLoader
E-book
Interactive Theorem Proving and Program Devel...
Casteran, Pierre
Casteran, Pierre
0
Star
0Reviews
Price
74.50 £
Home Page

Follow Us

facebookinstagramyoutube
© 2026 POCKETBOOK All rights reserved.
About us
Contact Us
Cookies Declaration
End User License For Digital Content
FAQ
Imprint
Privacy Notice
PocketBook Cloud
Return and Refund Policy
Support
Terms and Conditions
*All prices incl. VAT.

Get the latest news

Get the Free App

googlePlayappStore
*All prices incl. VAT.
© 2026 POCKETBOOK All rights reserved.