Cover of Formal Methods, Informally How to Write Programs That Work
Buy on Amazon

Formal Methods, Informally How to Write Programs That Work

by Carroll Morgan

Language
English
Published
2026
Publisher
Cambridge University Press
Pages
382
ISBN
9781009421027
Genres
Nonfiction › Technology › Computing › Programming

Original edition

Originally published in 2026 English Cambridge University Press

Other editions (1)