Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
af Robert P. Kurshan
Bog, Hardback, Engelsk, 2016
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- Bogreolen1.422,95 kr.0,00 kr.Kan forudbestillesKøb for 1.422,95 kr.Køb
- Tales1.423,95 kr.34,95 kr.Kan forudbestillesKøb for 1.423,95 kr.Køb
- Pling BØGER1.423,95 kr.34,95 kr.Kan forudbestillesKøb for 1.423,95 kr.Køb
- SAXO1.424,95 kr.Gratis fragtUkendtKøb for 1.424,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9780691634890
- Udgivet19/04/2016
- Udgivet afPrinceton University Press
- Længde284 sider
- ForfatterRobert P. Kurshan
- GenreBusiness og læring