Interactive Theorem Proving

Preis

66,34 €

*

Versand
Kostenloser Versand
 

Verlag
Springer-Verlag Berlin Heidelberg
Autor
Beringer / Felty
ISBN
9783642323461
Jahr
2012
Medium
Taschenbuch
Seitenzahl
xi, 419 S.
Bindungsart
Paperback

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