Program Logics for Certified Compilers

Program Logics for Certified Compilers

Andrew W. Appel , Robert Dockins , Aquinas Hobor
Brak ocen
2014 · Angielski · Kindle · Wydania: 2
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki

Recenzje

Nie ma jeszcze recenzji

Bądź pierwszy, aby zrecenzować tę książkę i podziel się swoimi przemyśleniami

Zaloguj się, aby recenzować
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki