Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Bøker av Domenico Cantone
Filter
Sorter etterSorter
Populære
-
664,- This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.
- Bok
- 664,-
-
- Applying Formalized Logic to Analysis
998,- This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs.
- Bok
- 998,-