Formal Methods: Foundations and Applications
49.22 EUR
Eine Sammlung von Beiträgen des 15. brasilianischen Symposions zu formalen Methoden, die neue theoretische Konzepte mit konkreten Fallstudien verknüpft und aktuelle Forschung aus Natal beleuchtet.