Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Checking for file health...
Author:June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)
Language:English
Release year:2011
File size:3.24 MB
Number of page:206
Language:English
Release year:2011
File size:3.24 MB
Number of page:206
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.
