Correctness-by-Construction Approach to Programming
Szerző:
Derrick G. Kourie, Bruce W. Watson
Elérhetőség:
Beszállítói készleten
Küldés 10-13 napon belül
38 040
Ft
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care...
