Formal Methods, Informally
How to Write Programs That Work
Autor:
Carroll Morgan
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
639.29
lei
An undergraduate textbook showing how to use formal methods informally, without formal logic, to wri...
