Computer Aided Verification (e-bog) af -

Jackson, Paul (redaktør)

Computer Aided Verification 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 Jackson, Paul (redaktør)

Forlag Springer

Udgivet 9 juli 2010

Genrer UKN

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783642142956

Beskrivelse