Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development

Ein detailliertes Sammelwerk aus den TAPSOFT-Konferenzen, das die theoretische Basis von formalen Methoden mit konkreten Softwareentwicklungsprojekten ...

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540151990
MPN
Springer Berlin Heidelberg 6922380

Eigenschaften

Menü