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

Cousot, Radhia (redaktør)

Verification, Model Checking, and Abstract Interpretation e-bog

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

E-bog 436,85 DKK

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

Forfattere Cousot, Radhia (redaktør)

Forlag Springer

Udgivet 4 februar 2005

Genrer UMC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540305798

Beskrivelse