Formal Methods: Foundations and Applications
42.80 EUR
Ein kompakter Sammelband aus dem 17. brasilianischen Symposium zu formalen Methoden, der neueste theoretische Erkenntnisse und praxisnahe Anwendungen für Entwickler und Forschungsexperten zusammenführt.