Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science, 17)
ISBN-13: 9783540884781
ISBN-10: 3540884785
Edition: 2008
Binding: Paperback
Publisher: Springer
Published: 2008-10-14
Best Prices for this Book in New Condition
Best Used Prices
As an Amazon Associate I earn from qualifying purchases.