Billede af bogens forside - Specification of Software Systems

Specification of Software Systems

af V.S. Alagar, m.fl.

Bog, Paperback, Engelsk, 2013

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9781447126447
  • Udgivet19/04/2013
  • Udgivet afSpringer London Ltd
  • Længde646 sider
  • ForfattereV.S. Alagar, K. Periyasamy
  • GenreBusiness og læring, Computer og IT