Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification » książka
topmenu
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
ISBN-13: 9789811236471 / Angielski / Twarda / 2021 / 380 str.
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
ISBN-13: 9789811236471 / Angielski / Twarda / 2021 / 380 str.
cena 658,50 zł
(netto: 627,14 VAT: 5%)
Najniższa cena z 30 dni: 651,77 zł
(netto: 627,14 VAT: 5%)
Najniższa cena z 30 dni: 651,77 zł
Termin realizacji zamówienia:
ok. 30 dni roboczych
Bez gwarancji dostawy przed świętami
ok. 30 dni roboczych
Bez gwarancji dostawy przed świętami
Darmowa dostawa!
Kategorie:
Kategorie BISAC:
Wydawca:
World Scientific Publishing Company
Język:
Angielski
ISBN-13:
9789811236471
Rok wydania:
2021
Ilość stron:
380
Waga:
0.73 kg
Wymiary:
22.86 x 15.24 x 2.39
Oprawa:
Twarda
Wolumenów:
01
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
