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
