Unifying Theories of Programming and Formal Engineering Methods

53.49 EUR 52.94 EUR 1% Off

Ein tiefgehendes Werk, das die Verbindung zwischen Programmierlogik und formalen Ingenieurmethoden beleuchtet, anhand von Fallstudien aus der internationalen Schulung in Shanghai.

Teilen: