- 10% rabatt på allt
Automated Deduction - CADE-21
21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
E-bok
PDF, Engelska, 2007739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Generative Programming and Component Engineering
Frank Pfenning, Yannis Smaragdakis
Häftad, 2003
571 kr