Formal Methods: Foundations and Applications | Kaicus Deutschland

Formal Methods: Foundations and Applications

68.94 EUR 1% Off 69.54 EUR

Ein handliches Sammelband aus dem SBMF 2017, der theoretische Konzepte wie Modellprüfung und Spezifikationssprache mit praktischen Beispielen in verifizierter Software verbindet und neue Forschungstrends beleuchtet.

Marke: Simone Cavalheiro
ISBN: 3319708473