Robert P. Kurshan – författare
Visar alla böcker från författaren Robert P. Kurshan.
5 produkter
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Häftad, 2014
1389 kr
Lägg i varukorg
Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Inbunden, 2016
3419 kr
Lägg i varukorg
Investment Industry Claims Debunked
Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
Häftad, 2021
449 kr
Lägg i varukorg
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
Häftad, 1991
719 kr
Lägg i varukorg
Verification of Digital and Hybrid Systems
Av M. Kemal Inan, Robert P. Kurshan
Häftad, 2011
1469 kr
Lägg i varukorg