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.