(3 resultados)

52,00€(IVA inc.)

Critical Systems: Formal Methods and Automated Verification
  • ter Beek, Maurice H.
  • 978-3-319-45942-4
  • 2016-09-14
62,68€(IVA inc.)

The art of multiprocessor programming
  • Herlihy, Maurice
  • 978-0-12-397337-5
  • 2012-06-12
68,59€(IVA inc.)

The Art of Multiprocessor Programming
  • Herlihy, Maurice
  • 978-0-12-415950-1
  • 2020-09-01