Formal Methods, Informally How to Write Programs That Work
- Language
- English
- Published
- 2026
- Publisher
- Cambridge University Press
- Pages
- 382
- ISBN
- 9781009420990
Other editions (1)
No summary for this edition yet.
No reviews yet. Be the first.
No summary for this edition yet.
No reviews yet. Be the first.