Interactive Theorem Proving (e-bog) af -

Paulson, Lawrence C. (redaktør)

Interactive Theorem Proving 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 Paulson, Lawrence C. (redaktør)

Forlag Springer

Udgivet 13 juli 2010

Genrer Immunology

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783642140525

Beskrivelse