ebook img
Author:Reiner Hähnle (auth.)Elena GiachinoReiner HähnleFrank S. de BoerMarcello M. Bonsangue (eds.)
Language:English
Release year:2013
File size:6.239 MB
Number of page:247
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.