Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)

Ein wissenschaftliches Werk aus der vierten ABZ-Konferenz in Toulouse, das Beiträge zu abstrakten Zustandsmaschinen und formalen Sprachen wie Alloy, ...

Allgemein

Marke
Yamine Ait-Ameur
ISBN
Yamine Ait-Ameur 3662436515
MPN
Yamine Ait-Ameur 93 black & white illustrations, biograph

Eigenschaften

Menü