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)
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Եղիր առաջինը, ով թողնում է մեկնաբանություն!

Նմանատիպ նյութեր