Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

by

  • Publisher: William Andrew Publishing
  • Print ISBN: 9780815513629, 0815513623

  • eText ISBN: 9781437728170, 1437728170

  • Pages: 318