Types for Proofs and Programs
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Häftad, 2006
739 kr
1 179 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
1 179 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
1 179 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.