Formal Methods and Software Engineering 2024 pdf epub mobi 电子书
简体网页||繁体网页
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书 著者简介
Formal Methods and Software Engineering 电子书 图书目录
点击这里下载
发表于2024-11-12
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书
喜欢 Formal Methods and Software Engineering 电子书 的读者还喜欢
Formal Methods and Software Engineering 电子书 读后感
图书标签:
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书 图书描述
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书
Formal Methods and Software Engineering 2024 pdf epub mobi 用户评价
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书
分享链接
Formal Methods and Software Engineering 2024 pdf epub mobi 电子书 下载链接
相关图书
-
Pattern Recognition in Bioinformatics 2024 pdf epub mobi 电子书 -
Computer Security - ESORICS 2008 2024 pdf epub mobi 电子书
-
Post-Quantum Cryptography 2024 pdf epub mobi 电子书
-
The Gundog Veterinary Bible 2024 pdf epub mobi 电子书
-
Fun and Games 2024 pdf epub mobi 电子书
-
It's Just Begun 2024 pdf epub mobi 电子书
-
Baseball Visions of the Roaring Twenties 2024 pdf epub mobi 电子书
-
Get to Know Screws 2024 pdf epub mobi 电子书
-
The Call of the Canyon 2024 pdf epub mobi 电子书
-
Handbook of Psychosocial Interventions with Older Adults 2024 pdf epub mobi 电子书
-
Learning for Themselves 2024 pdf epub mobi 电子书
-
The Tragedy of Pudd'nhead Wilson 2024 pdf epub mobi 电子书
-
The Mysterious Affair at Styles 2024 pdf epub mobi 电子书
-
Thuvia, Maid of Mars 2024 pdf epub mobi 电子书
-
The Son of Tarzan 2024 pdf epub mobi 电子书
-
Mexican American Girls and Gang Violence 2024 pdf epub mobi 电子书
-
Smart Thinking 2024 pdf epub mobi 电子书
-
Thuvia, Maid of Mars 2024 pdf epub mobi 电子书
-
The Chessmen of Mars 2024 pdf epub mobi 电子书
-
Principles and Practice of Dialysis 2024 pdf epub mobi 电子书
