FME 2002 - Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark July 2002, Proceedings
by Lars-Henrik Eriksson, Peter Alexander Lindsay Paperback 2002
- Author: Lars-Henrik Eriksson, Peter Alexander Lindsay
- ISBN 13: 9783540439288
- ISBN 10: 3540439285
- Publication Year: 2002
- Language: English
Specifications
Index-103540439285
LanguageEnglish
Index-139783540439288
Period-
Class Track-
Publisher- (2002)
Pages-