Olderog, Ernst-Rudiger

Vis mig kun

Programmverifikation

Programmverifikation

Olderog, Ernst-Rudiger

192,41 DKK

Provably Correct Systems

Provably Correct Systems

Olderog, Ernst-Rudiger

875,33 DKK

Provably Correct Systems

Provably Correct Systems

Olderog, Ernst-Rudiger

875,33 DKK

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Olderog, Ernst-Rudiger

656,09 DKK

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Olderog, Ernst-Rudiger

692,63 DKK

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Olderog, Ernst-Rudiger

692,63 DKK