Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Bog, Paperback, Engelsk, 2017
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO409,95 kr.39,95 kr.UkendtKøb for 409,95 kr.Køb
- Bogreolen492,95 kr.34,95 kr.2-4 ugerKøb for 492,95 kr.Køb
- Tales493,95 kr.34,95 kr.2-4 ugerKøb for 493,95 kr.Køb
- Pling BØGER493,95 kr.34,95 kr.2-4 ugerKøb for 493,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9783319671123
- Udgivet25/08/2017
- Udgivet afSpringer International Publishing AG
- Længde235 sider
- GenreBusiness og læring, Computer og IT