Julien Schmaltz - Böcker

Visar alla böcker från författaren Julien Schmaltz.

2 produkter

Kategorier

2 produkter

Logic Gates, Circuits, Processors, Compilers and Computers

Av Jan Friso Groote, Rolf Morel m. fl

Häftad, Engelska, 2021

489 kr

Skickas torsdag 15/1

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Av Marko Van Eekelen, Herman Geuvers m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar