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″]