Correctness-by-Construction Approach to Programming
Autor:
Derrick G. Kourie, Bruce W. Watson
Dostupnosť:
Skladom u dodávateľa
Odosielame za 10-13 dní
99.98
€
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care...
