Constructive Analysis and Synthesis of Programs
Автор:
Marco Benini
Наличност:
Външен склад
Изпращаме след 9-15 дни
29.68
€
58.04 лв
Starting from the analysis of the problem behind formal verification of programs and showing the nee...