Cover Image
Read Now

1
Published 2023
Springer Nature Switzerland
Table of Contents: “... Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching...”
Cover Image
Read Now

2
by Lovász, László, Pelikan, József, Vesztergombi, Katalin
Published 2005
Springer Berlin Heidelberg
“... theoretischen Forschungsabteilung der Microsoft Corporation. Er hat 1999 den Wolf-Preis sowie den Gödel-Preis...”