ebook img
Author:Joost-Pieter Katoen (auth.)Gwen SalaünBernhard Schätz (eds.)
Language:English
Release year:2011
File size:3.806 MB
Number of page:269
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 Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

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