Formal Methods, Informally
How to Write Programs That Work
Szerző:
Carroll Morgan
Elérhetőség:
Beszállítói készleten
Küldés 9-15 napon belül
20 488
Ft
An undergraduate textbook showing how to use formal methods informally, without formal logic, to wri...
