Verification, Model Checking, and Abstract Interpretation (e-bog) af -

Zuck, Leonore D. (redaktør)

Verification, Model Checking, and Abstract Interpretation e-bog

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

E-bog 546,06 DKK

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

Forfattere Zuck, Leonore D. (redaktør)

Forlag Springer

Udgivet 2008

Genrer UMC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540781639

Beskrivelse