Unifying Theories of Programming and Formal Engineering Methods
53.49 EUR
Ein tiefgehendes Werk, das die Verbindung zwischen Programmierlogik und formalen Ingenieurmethoden beleuchtet, anhand von Fallstudien aus der internationalen Schulung in Shanghai.