Fortell venner om denne varen:
Formal Software Development From VDM to Java - From VDM to Java Quentin Charatan
Har du en profil? Logg inn
Legg til iMusic ønskeliste
eller
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
| Media | Annen N/A (Ukjent medium) |
| Utgitt | 9. september 2003 |
| ISBN13 | 9780333992814 |
| Label | Macmillan Education UK |
| Antall sider | 256 |
| Mål | 246 × 191 × 15 mm · 385 g |
![Cover for Quentin Charatan · Maths For Computing: A Beginner's Guide - Undergraduate Topics in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1729015816)
![Cover for Quentin Charatan · Programming in Two Semesters: Using Python and Java - Texts in Computer Science (Pocketbok) [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-pocketbok&class=scaled&v=1750178952)
![Cover for Quentin Charatan · Programming in Two Semesters: Using Python and Java - Texts in Computer Science (Innbunden bok) [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-innbunden-bok&class=scaled&v=1694519050)
![Cover for Quentin Charatan · Java in Two Semesters: Featuring JavaFX - Texts in Computer Science (Innbunden bok) [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-innbunden-bok&class=scaled&v=1554273823)