Proof Assistants and Their Applications in Mathematics and Computer Science
Beste pris fra kr
779
og finnes i 2 butikker
Populære alternativer
Populære merker innen Bøker
Relaterte kategorier
Prishistorikk
Prisvarsel
Du vil bli varslet når prisen havner under ,-
Strekkoder
- GTIN
- 9783031851896