Critical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Bog, Paperback, Engelsk, 2016
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO409,95 kr.39,95 kr.UkendtKøb for 409,95 kr.Køb
- Bogreolen569,95 kr.34,95 kr.2-4 ugerKøb for 569,95 kr.Køb
- Tales570,95 kr.34,95 kr.2-4 ugerKøb for 570,95 kr.Køb
- Pling BØGER570,95 kr.34,95 kr.2-4 ugerKøb for 570,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9783319459424
- Udgivet14/09/2016
- Udgivet afSpringer International Publishing AG
- Længde247 sider
- GenreBusiness og læring, Computer og IT