Formal Aspects of Component Software | Kaicus Deutschland

Formal Aspects of Component Software

52.94 EUR 4% Off 54.99 EUR

In den FACS‑2017 Proceedings werden innovative Ansätze zur formalen Verifikation von Softwarekomponenten vorgestellt, darunter neue Logikmodelle, Analysewerkzeuge und exemplarische Anwendungen aus Braga.

Marke: José Proença
ISBN: 3319680331
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
54.99 EUR 54.99 EUR
24-08-2026 13:01:55