Correctness-by-Construction Approach to Programming
Автор:
Derrick G. Kourie, Bruce W. Watson
Наличност:
Външен склад
Изпращаме след 10-13 дни
105.41
€
206.16 лв
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care...
