FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, ... (Lecture Notes in Computer Science)
Format: kindle
ASIN: B000QCUC0K
Publish date: June 13th 2008
Publisher: Springer
Pages no: 711
Edition language: English