Formal Methods and Software Engineering

53.49 EUR

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.

Marke: Springer Berlin Heidelberg
MPN: 131 black & white illustrations, biograp
ISBN: 3642342809