Computer Aided Verification (e-bog) af -

Jackson, Paul (redaktør)

Computer Aided Verification e-bog

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

E-bog 1094,16 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