Schmidt, Renate (redaktør)

Automated Deduction - CADE-22 e-bog

436,85 DKK (inkl. moms 546,06 DKK)

E-bog 436,85 DKK

Forfattere Schmidt, Renate (redaktør)

Forlag Springer

Udgivet 26 juli 2009

Genrer Computer programming / software engineering

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783642029592