Formal Methods for the Design of Real-Time Systems (e-bog) af -

Corradini, Flavio (redaktør)

Formal Methods for the Design of Real-Time Systems 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 Corradini, Flavio (redaktør)

Forlag Springer

Udgivet 7 december 2004

Genrer UKN

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540300809

Beskrivelse