Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

PierreLoc Garoche

PierreLoc Garoche is the author of "Formal Verification of Control System Software".

Books by PierreLoc Garoche
Formal Verificati...
Garoche, Pierre-Loïc
Electronic book text:
Formal Verificati...
Garoche, Pierre-Loïc
Hardback: $61.00