Lennart Beringer - Böcker
Visar alla böcker från författaren Lennart Beringer.
1 produkt
1 produkt
Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Häftad, Engelska, 2012
709 kr
Skickas inom 10-15 vardagar