Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de 53.49 EUR
53.49 EUR
04-07-2026 23:50:45
Der Band sammelt Beiträge aus der ICFEM‑Konferenz 2012 in Kyoto, die formale Techniken mit realen Softwaresystemen verknüpfen; er bietet theoretische Modelle, Fallstudien und interdisziplinäre Diskussionen für Entwickler und Forscher.
