Billede af bogens forside - Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Practice

af Tiziana Margaria, m.fl.

Bog, Paperback, Engelsk, 2022

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783031197611
  • Udgivet20/10/2022
  • Udgivet afSpringer Nature Switzerland
  • Længde440 sider
  • ForfattereTiziana Margaria, Bernhard Steffen
  • GenreBusiness og læring, Computer og IT