Sommersalg - Opptil 60 % rabatt
Alle 1 Lennart Beringer utgivelser på Pocketbok
Kategorier
Annen
Kundeservice
NOK
![Cover for Lennart Beringer · Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/461/9783642323461.jpg?lennart-beringer-2012-interactive-theorem-proving-third-international-conference-itp-2012-princeton-nj-usa-august-13-15-2012-proceedings-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1583130109)