Automated Reasoning (e-bog) af -

Nipkow, Tobias (redaktør)

Automated Reasoning e-bog

875,33 DKK (inkl. moms 1094,16 DKK)

E-bog 875,33 DKK

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

Forfattere Nipkow, Tobias (redaktør)

Forlag Springer

Udgivet 29 juni 2003

Genrer PBC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540457442

Beskrivelse