Logic Gates, Circuits, Processors, Compilers and Computers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
37,44 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Logic Gates, Circuits, Processors, Compilers and Computers
Produktform: Buch / Einband - flex.(Paperback)
37,44 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage