Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method

Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method

eBook Details:

  • Hardcover: 496 pages
  • Publisher: WOW! eBook-ISTE; 1st edition (July 8, 2014)
  • Language: English
  • ISBN-10: 1848217099
  • ISBN-13: 978-1848217096

eBook Description:

Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method

[download id=”3347″]

Leave a Reply

Your email address will not be published. Required fields are marked *