Program Logics for Certified Compilers - 9781107048010

Name: Program Logics for Certified Compilers
Brand: Cambridge Univ Pr
Price: 84.20 EUR
Author: Appel Andrew W., Dockins Robert (CON), Hobor Aquinas (CON), Beringer Lennart (CON), Dodds Josiah (CON)
ISBN: 9781107048010

Un libro in lingua di Appel Andrew W. Dockins Robert (CON) Hobor Aquinas (CON) Beringer Lennart (CON) Dodds Josiah (CON) edito da Cambridge Univ Pr, 2014

€ 84.20
Il prezzo è variabile in funzione del cambio della valuta d’origine

Aggiungi
al carrello

Punti Accumulabili: +842

Aggiungi al Pozzo dei Desideri

Program Logics for Certified Compilers libro in lingua di Appel Andrew W., Dockins Robert (CON), Hobor Aquinas (CON), Beringer Lennart (CON), Dodds Josiah (CON)

Scrivi la tua recensione
Segnala ad un amico il prodotto

Informazioni bibliografiche

Titolo del Libro in lingua: Program Logics for Certified Compilers
Lingua: English
Autori : Appel Andrew W. Dockins Robert (CON) Hobor Aquinas (CON) Beringer Lennart (CON) Dodds Josiah (CON)
Editore: Cambridge Univ Pr
Collana: Cambridge Univ Pr (Hardcover)
Data di Pubblicazione: 21 Aprile '14
Genere: COMPUTERS
Argomenti : Computer software Verification Logic, Symbolic and mathematical Compilers (Computer programs
Pagine: 458
Dimensioni mm: 234 x 158 x 25
ISBN-10: 110704801X
EAN-13: 9781107048010