FME 2002 : Formal Methods - Getting IT Right
de Lars-Henrik Eriksson, Peter A. Lindsay
Ediciones (1)
- FME 2002 : Formal Methods - Getting IT Right (2003)
Springer London, Limited · inglés · ISBN 9783540456148
de Lars-Henrik Eriksson, Peter A. Lindsay
Springer London, Limited · inglés · ISBN 9783540456148
