Formal Methods at the Crossroads. From Panacea to Foundational Support (e-bog) af -

Maibaum, Tom (redaktør)

Formal Methods at the Crossroads. From Panacea to Foundational Support 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 Maibaum, Tom (redaktør)

Forlag Springer

Udgivet 29 marts 2011

Genrer UMC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540400073

Beskrivelse