bookstores.rs

Jedna knjiga - različite cene. Uporedite sada.

Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification (Tvrdi povez)

Nema na stanju
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Used
Autor:
Klaus Mainzer, Helmut Schwichtenberg (editor), Klaus Mainzer (editor), Peter Michael Schuster (editor)

Izdata:

Više
Dodaj na listu
Blackwells

Free delivery, ships from UK

Final price: incl. VAT

Nema na stanju
AbeBooks Loading...
Amazon.de Loading...
Amazon.com Loading...
Better World Books

Besplatna dostava svih knjiga
Isporuka iz UK ili SAD-a

Loading...
Fishpond

Free delivery worldwide

Loading...
Biblio Loading...
Waterstones Loading...
Foyles Loading...
Springer

Besplatna dostava za sve artikle
Isporuka iz Nemačke

Loading...
SciFier.com

Ships from United Kingdom,
10% off with code BAPP

Loading...
Alibris Loading...

Import duties or custom duty tax may be applied. All prices are converted to EUR for indicative purposes only. As an Amazon Associate we earn from qualifying purchases.



Besplatna dostava

Bookstores with free delivery on all books. No minimum purchase required.



Mobile apps

Bookstores.app Android app