(2 resultados)

126,62€(IVA inc.)

Formal method: industrial used from model to the code
  • Boulanger, Jean-Louis
  • 978-1-84821-362-3
  • 2012-05-11
126,62€(IVA inc.)

Industrial used of formal method: formal verification
  • Boulanger, Jean-Louis
  • 978-1-84821-363-0
  • 2012-07-05