Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I Ebook (okabook.shop)

$25.00

eText ISBN: 9783642340260

Category: Tag: