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)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Biblioteca Mayor de Ingeniería -

Λεπτομέρειες τεκμηρίων από Biblioteca Mayor de Ingeniería -
Ταξινομικός Αριθμός:	005.14 APP 2014
Αντίγραφο 1	Στη βιβλιοθήκη Κάντε κράτηση