Billede af bogens forside - Critical Systems: Formal Methods and Automated Verification

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

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783319671123
  • Udgivet25/08/2017
  • Udgivet afSpringer International Publishing AG
  • Længde235 sider
  • GenreBusiness og læring, Computer og IT