Hoppa till sidans huvudinnehåll

Robert P. Kurshan - Böcker

Visar alla böcker från författaren Robert P. Kurshan.
5 produkter

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

AvRobert P. Kurshan

Häftad, Engelska, 2014

1 189 kr

Skickas inom 3-6 vardagar

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

AvRobert P. Kurshan

Inbunden, Engelska, 2016

3 039 kr

Skickas inom 3-6 vardagar

Investment Industry Claims Debunked

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

AvRobert P. Kurshan

Häftad, Engelska, 2021

429 kr

Skickas inom 10-15 vardagar

Computer-Aided Verification

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

AvEdmund M. Clarke Jr.,Robert P. Kurshan m. fl.

Häftad, Engelska, 1991

689 kr

Skickas inom 10-15 vardagar

Verification of Digital and Hybrid Systems

AvM. Kemal Inan,Robert P. Kurshan

Häftad, Engelska, 2011

1 379 kr

Skickas inom 10-15 vardagar