Automatisierung von Terminierungsbeweisen (e-bog) af Walther, Christoph

Walther, Christoph (forfatter)

Automatisierung von Terminierungsbeweisen e-bog

337,32 DKK (inkl. moms 421,65 DKK)

E-bog 337,32 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Walther, Christoph (forfatter)

Forlag Vieweg+Teubner Verlag

Udgivet 9 marts 2013

Genrer Computer science

Sprog German

Format pdf

Beskyttelse LCP

ISBN 9783322854049

Beskrivelse