Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Checking for file health...
Author:Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Language:English
Release year:2012
File size:14.993 MB
Number of page:631
Language:English
Release year:2012
File size:14.993 MB
Number of page:631
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Similar
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
