Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science, Band 11254)

Ein kompakter Sammelband des SBMF 2018 aus Salvador, der theoretische Grundlagen und praxisnahe Anwendungen formaler Methoden in Softwareentwicklung ...
Gesponsert
61.99 EUR
Preis aktualisiert am: 29-10-2026 10:58:08
Gesponsert
68.50 EUR
Preis aktualisiert am: 28-10-2026 06:13:19

Allgemein

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

Eigenschaften

Menü