(1 resultados)

36,35€(IVA inc.)

Rigorous software development: an introduction to program verification
  • Bacelar Almeida, José
  • 978-0-85729-017-5
  • 2011-01-14