FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ... Notes in Computer Science (2021), Band 2021)
von
Jose Nuno Oliveira
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-41791-0
ISBN-10: 3-540-41791-5
Springer
· 2001
