Julien Schmaltz – författare
Visar alla böcker från författaren Julien Schmaltz. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
539 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar