Robert P. Kurshan – författare

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
AvRobert P. Kurshan
Häftad, Engelska, 2014
1 339 kr
Skickas inom 3-6 vardagar
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
AvRobert P. Kurshan
Inbunden, Engelska, 2016
3 279 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
449 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
Häftad, Engelska, 1991
709 kr
Skickas inom 10-15 vardagar
Del 170
Del 170 - NATO ASI Subseries F:
Verification of Digital and Hybrid Systems
AvM. Kemal Inan,Robert P. Kurshan
Häftad, Engelska, 2011
1 459 kr
Skickas inom 10-15 vardagar