Hoppa till sidans huvudinnehåll

Robert P. Kurshan – författare

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

The Automata-Theoretic Approach

AvRobert P. Kurshan

Häftad, Engelska, 2014

1 299 kr

Skickas inom 3-6 vardagar

Robert P. Kurshan - Computer-Aided Verification of Coordinating Processes, Inbunden

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

AvRobert P. Kurshan

Inbunden, Engelska, 2016

3 339 kr

Skickas inom 3-6 vardagar

Robert P. Kurshan - Investment Industry Claims Debunked, Häftad

Investment Industry Claims Debunked

Smart Personal Finance Management For Ordinary Folks, Before and After Retirement

AvRobert P. Kurshan

Häftad, Engelska, 2021

449 kr

Skickas inom 10-15 vardagar

Edmund M. Clarke Jr., Robert P. Kurshan - Computer-Aided Verification, Häftad

Computer-Aided Verification

2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

AvEdmund M. Clarke Jr.,Robert P. Kurshan

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

M. Kemal Inan, Robert P. Kurshan - Verification of Digital and Hybrid Systems, Häftad
Del 170 - NATO ASI Subseries F:

Verification of Digital and Hybrid Systems

AvM. Kemal Inan,Robert P. Kurshan

Häftad, Engelska, 2011

1 449 kr

Skickas inom 10-15 vardagar