(4697 resultados)

95,99€(IVA inc.)

Verification of systems and circuits using LOTOS,petri nets, and CCS
  • Yoeli, Michael
  • 978-0-471-70449-2
  • 2008-03-28
67,26€(IVA inc.)

121,53€(IVA inc.)

Path-oriented program analysis
  • Huang, J.C.
  • 978-0-521-88286-6
  • 2008-03-20
71,77€(IVA inc.)

62,04€(IVA inc.)

95,99€(IVA inc.)

58,77€(IVA inc.)

15,02€(IVA inc.)

LINQ pocket reference
  • Albahari, Joseph
  • 978-0-596-51924-7
  • 2008-03-01