Robert P. Kurshan - Böcker

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

5 produkter

Kategorier

5 produkter

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Av Robert P. Kurshan

Häftad, Engelska, 2014

1 279 kr

Skickas inom 5-8 vardagar

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Av Robert P. Kurshan

Inbunden, Engelska, 2016

3 249 kr

Skickas inom 5-8 vardagar

Investment Industry Claims Debunked

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

Av Robert P. Kurshan

Häftad, Engelska, 2021

439 kr

Skickas inom 10-15 vardagar

Computer-Aided Verification

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

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

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Verification of Digital and Hybrid Systems

Av M. Kemal Inan, Robert P. Kurshan

Häftad, Engelska, 2011

1 409 kr

Skickas inom 10-15 vardagar