Releases von Robert P. Kurshan

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Robert P. Kurshan · Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library (Gebundenes Buch) (2016)

Gebundenes Buch

Computer-Aided Verification of C... (2016)

Robert P. Kurshan

Cover for Robert P. Kurshan · Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library (Taschenbuch) (2014)

Computer-Aided Verification of C... (2014)

Robert P. Kurshan