ML for the Working Programmer

Weitere Produkte vom selben Autor

Isabelle Paulson, Lawrence C.

53,49 €*
Isabelle/HOL Nipkow, Tobias, Wenzel, Markus, Paulson, Lawrence C.

58,84 €*
Logic and Computation Paulson, Lawrence C.

71,90 €*