Code: 36653796
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
by Helmut Schwichtenberg, Peter Michael Schuster
- Language:
English - Binding: Hardback
- Number of pages: 424
Publisher: World Scientific Publishing Co Pte Ltd, 2021
- More about this
You might also like
-
The Book of Bill
23.77 € -14 % -
Gravity Falls Journal 3
16.41 € -23 % -
Berserk Deluxe Volume 1
44.42 € -11 % -
Pumpkin Spice Cafe
11.78 € -17 % -
Berserk Deluxe Volume 2
52.28 € -
White Nights
3.52 € -23 % -
It ends with us
8.76 € -18 % -
48 Laws Of Power
18.03 € -29 % -
A Little Life
17.52 € -
Atomic Habits
15.91 € -14 % -
Berserk Deluxe Volume 3
48.86 € -2 % -
Gilmore Girls: The Official Advent Calendar
28.91 € -25 % -
Surrounded by Idiots
10.47 € -29 % -
Jujutsu Kaisen, Vol. 23
9.76 € -26 % -
The 48 Laws of Power
24.57 € -5 % -
The Official Stardew Valley Cookbook
22.36 € -22 % -
Berserk Deluxe Volume 4
45.23 € -10 % -
Iron Flame
16.31 € -17 % -
A Good Girl's Guide to Murder
8.15 € -25 % -
A Curse For True Love
10.37 € -12 % -
Berserk Deluxe Volume 5
50.47 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
You get 414 loyalty points
Book details
Book category Books in German Naturwissenschaften, Medizin, Informatik, Technik Mathematik Grundlagen
165.03 €
- Full title: Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
- Author: Helmut Schwichtenberg, Peter Michael Schuster
- Language: English
- Binding: Hardback
- Number of pages: 424
- EAN: 9789811236471
- ISBN: 981123647X
- ID: 36653796
- Publisher: World Scientific Publishing Co Pte Ltd
- Weight: 766 g
- Dimensions: 235 × 157 × 27 mm
- Date of publishing: 11. August 2021
Shopping guide
Books by language
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)