Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... Notes in Computer Science (4313), Band 4313)
von
Tiziana Margaria
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-48928-3
ISBN-10: 3-540-48928-2
Springer
· 2002
