Formal Methods Applied to Complex Systems: Implementation of the B Method
£174.95
Includes FREE deliveryUsually despatched within 5 days
Hardback by Jean-Louis Boulanger
Short Description:
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or... Read more
Publisher: ISTE Ltd and John Wiley & Sons IncPublication Date: 04/07/2014
ISBN13: 9781848217096, 978-1848217096
ISBN10: 1848217099
Number of Pages: 496
Non Fiction , Technology, Engineering & Agriculture , Education