Program logics for certified compilers.

Збережено в:

Бібліографічні деталі
Автори:	Appel, Andrew W., 1960- (Автор), Dockins, Robert (Автор), Hobor, Aquinas (Автор), Beringer, Lennart (Автор), Dodds, Josiah (Автор), Stewart, Gordon (Автор), Blazy, Sandrine (Автор), Leroy, Xavier (Автор)
Формат:	Книга
Мова:	Англійська
Опубліковано:	New York, NY., USA: Cambridge University Press, 2014.
Предмети:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Будьте першим, хто залишить коментар!

Схожі ресурси