Formal Methods: Foundations and Applications | Kaicus Deutschland

Formal Methods: Foundations and Applications

62.05 EUR

Ein kompakter Sammelband des SBMF 2018 aus Salvador, der theoretische Grundlagen, neue Algorithmen und praxisnahe Anwendungen formaler Methoden in Softwareentwicklung präsentiert und Fallstudien integriert.

Marke: Springer-Verlag GmbH
ISBN: 3030030431
MPN: 34275524