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

Cortesi, Agostino (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 Cortesi, Agostino (redaktør)

Forlag Springer

Udgivet 2003

Genrer UMC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540478133

Beskrivelse