分享给好友:
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering Shaoying Liu
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering
Shaoying Liu
Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.
412 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2008年10月8日 |
| ISBN13 | 9783540881933 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 412 |
| 商品尺寸 | 156 × 234 × 21 mm · 612 g |
![Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)](https://imusic.com.cn/local-image/images/item/original/037/9783319174037.jpg?shaoying-liu-2015-structured-object-oriented-formal-language-and-method-4th-international-workshop-sofl-msvl-2014-luxembourg-luxembourg-november-6-2014-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1604043242)
![Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.com.cn/local-image/images/item/original/144/9783319049144.jpg?shaoying-liu-2014-structured-object-oriented-formal-language-and-method-third-international-workshop-sofl-msvl-2013-queenstown-new-zealand-october-29-2013-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1550737099)
![Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.com.cn/local-image/images/item/original/764/9783642392764.jpg?shaoying-liu-2013-structured-object-oriented-formal-language-and-method-second-international-workshop-sofl-2012-kyoto-japan-november-13-2012-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1604033569)
![Cover for Shaoying Liu · Formal Engineering for Industrial Software Development: Using the Sofl Method (Paperback Book) [Softcover Reprint of Hardcover 1st Ed. 2004 edition] (2010)](https://imusic.com.cn/local-image/images/item/original/271/9783642058271.jpg?shaoying-liu-2010-formal-engineering-for-industrial-software-development-using-the-sofl-method-paperback-book&class=scaled&v=1408460964)