Program logics for certified compilers.

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Appel, Andrew W., 1960- (Author), Dockins, Robert (Author), Hobor, Aquinas (Author), Beringer, Lennart (Author), Dodds, Josiah (Author), Stewart, Gordon (Author), Blazy, Sandrine (Author), Leroy, Xavier (Author)
বিন্যাস:	গ্রন্থ
ভাষা:	ইংরেজি
প্রকাশিত:	New York, NY., USA: Cambridge University Press, 2014.
বিষয়গুলি:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

প্রথমজন হিসাবে মন্তব্য করুন!

অনুরূপ উপাদানগুলি