Formal Methods, Informally
How to Write Programs That Work
Автор:
Carroll Morgan
Наличност:
Външен склад
Изпращаме след 9-15 дни
54.17
€
105.95 лв
An undergraduate textbook showing how to use formal methods informally, without formal logic, to wri...
