Formal Methods: Foundations and Applications

58.98 EUR 5% Off 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