Mathematics of Program Construction

Der Konferenzband „Mathematics of Program Construction“ aus Irsee 1995 präsentiert innovative Ansätze zur formalen Programmgestaltung, beleuchte ...

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540601171
MPN
Springer Berlin Heidelberg 6909937

Eigenschaften

Menü