分享给好友:
Formal Software Development From VDM to Java - From VDM to Java Quentin Charatan
Formal Software Development From VDM to Java - From VDM to Java
Quentin Charatan
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.
256 pages, index
| 介质类型 | 其他 N/A (未知格式) |
| 已发行 | 2003年9月9日 |
| ISBN13 | 9780333992814 |
| 厂牌 | Macmillan Education UK |
| 页数 | 256 |
| 商品尺寸 | 246 × 191 × 15 mm · 385 g |
![Cover for Quentin Charatan · Maths For Computing: A Beginner's Guide - Undergraduate Topics in Computer Science (Paperback Book) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/338/9783031692338.jpg?quentin-charatan-2024-maths-for-computing-a-beginner-s-guide-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1729015816)
![Cover for Quentin Charatan · Programming in Two Semesters: Using Python and Java - Texts in Computer Science (Paperback Book) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/287/9783031013287.jpg?quentin-charatan-2023-programming-in-two-semesters-using-python-and-java-texts-in-computer-science-paperback-book&class=scaled&v=1750178952)
![Cover for Quentin Charatan · Programming in Two Semesters: Using Python and Java - Texts in Computer Science (Hardcover Book) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/256/9783031013256.jpg?quentin-charatan-2022-programming-in-two-semesters-using-python-and-java-texts-in-computer-science-hardcover-book&class=scaled&v=1694519050)
![Cover for Quentin Charatan · Java in Two Semesters: Featuring JavaFX - Texts in Computer Science (Hardcover Book) [Fourth Edition 2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/192/9783319994192.jpg?quentin-charatan-2019-java-in-two-semesters-featuring-javafx-texts-in-computer-science-hardcover-book&class=scaled&v=1554273823)