Robert P. Kurshan - Böcker

Visar alla böcker från författaren Robert P. Kurshan.
5 produkter
Robert P. Kurshan - Computer-Aided Verification of Coordinating Processes, Häftad

Computer-Aided Verification of Coordinating Processes

Av Robert P. Kurshan

Häftad, Engelska, 2014

1 279 kr

Skickas inom 3-6 vardagar
Robert P. Kurshan - Computer-Aided Verification of Coordinating Processes, Inbunden

Computer-Aided Verification of Coordinating Processes

Av Robert P. Kurshan

Inbunden, Engelska, 2016

3 249 kr

Skickas inom 3-6 vardagar
Robert P. Kurshan - Investment Industry Claims Debunked, Häftad

Investment Industry Claims Debunked

Av Robert P. Kurshan

Häftad, Engelska, 2021

449 kr

Skickas inom 7-10 vardagar
Edmund M. Clarke Jr., Robert P. Kurshan, Edmund M. Clarke - Computer-Aided Verification, Häftad
Del 531 - Lecture Notes in Computer Science

Computer-Aided Verification

Av Edmund M. Clarke Jr., Robert P. Kurshan, Edmund M. Clarke

Häftad, Engelska, 1991

719 kr

Skickas inom 7-10 vardagar
M. Kemal Inan, Robert P. Kurshan - Verification of Digital and Hybrid Systems, Häftad

Verification of Digital and Hybrid Systems

Av M. Kemal Inan, Robert P. Kurshan

Häftad, Engelska, 2011

1 419 kr

Skickas inom 7-10 vardagar