Formal Methods and Software Engineering

52.71 EUR 1% Off 53.49 EUR

Dieses Buch liefert einen tiefen Einblick in die neuesten formalen Ansätze der Softwaretechnik, präsentiert Ergebnisse der ICFEM‑Konferenz und zeigt konkrete Implementierungsbeispiele für Entwickler.

Marke: Springer-Verlag GmbH
ISBN: 3030024490
MPN: 34262791