Robert P. Kurshan - Böcker
Visar alla böcker från författaren Robert P. Kurshan.
5 produkter
5 produkter
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Häftad, Engelska, 2014
1 279 kr
Skickas inom 3-6 vardagar
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Inbunden, Engelska, 2016
3 269 kr
Skickas inom 3-6 vardagar
Investment Industry Claims Debunked
Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
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
Häftad, Engelska, 1991
699 kr
Skickas inom 10-15 vardagar
1 439 kr
Skickas inom 10-15 vardagar