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

Sell this book           Buy or Rent?