Interactive Theorem Proving

Preis

77,04 €

*

Versand
Kostenloser Versand
 

Verlag
Springer
Autor
Klein / Gamboa
ISBN
9783319089690
Jahr
2014
Medium
Buch
Seitenzahl
xxii, 555 S.
Bindungsart
Softcover

Für dieses Produkt wurde noch keine Rezension verfasst. Bewerten Sie dieses Produkt jetzt als Erster!