内容简介

书名:Modeling in Event-B: System and Software Engineering
出版社:Cambridge University Press
作者:Jean-Raymond Abrial
出版年份:2010
电子书格式: pdf
简介:Dive into formal methods with “Modeling in Event-B.” This comprehensive guide by Jean-Raymond Abrial provides a practical approach to system and software engineering using the Event-B notation. Learn to model complex systems, identify potential errors early, and build robust software. Ideal for students and professionals in computer science, engineering, and related fields.
ISBN:0521895561

下载地址

猜你喜欢

大家都喜欢

热门推荐