Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... (Lecture Notes in Computer Science, 4313)
Cambridge Rare Books
ISBN: 3540489282
Title: Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... (Lecture Notes in Computer Science, 4313)
Authors: Margaria, Tiziana and Bernhard Steffen (Editors)
Binding: Paperback
Publisher: Springer
Publish Date: 2006
Condition: VERY GOOD
SKU: 2086774
Details: 2006-11-03. Springer. Paperback. VERY GOOD 9x6.
If you are unhappy with your book please contact us before leaving feedback as we strive to provide the best possible service to our customers.