Formal Methods, Informally : How to Write Programs That Work
by Carroll Morgan Hardcover 2026
- Author: Carroll Morgan
- ISBN 13: 9781009420990
- ISBN 10: 1009420992
- Publication Year: 2026
- Language: English
Specifications
| Index-10 | 1009420992 |
|---|---|
| Index-13 | 9781009420990 |
| Language | English |