Formal Methods, Informally: How to Write Programs That Work

More Information

Format: hardcover
Publisher: Cambridge University Press
ISBN 10: 1009420992
ISBN 13: 9781009420990
Expected Release Date: 31 Jan 2026