Formal Methods, Informally: How to Write Programs That Work

More Information

Format: paperback
Publisher: Cambridge University Press
ISBN 10: 1009421026
ISBN 13: 9781009421027
Expected Release Date: 31 Jan 2026