Fr. 29.90

Edinburgh LCF - A Mechanized Logic of Computation

Inglese, Tedesco · Tascabile

Spedizione di solito entro 1 a 2 settimane (il titolo viene stampato sull'ordine)

Descrizione

Ulteriori informazioni










ML.- PPLAMBDA.

Sommario

ML.- PPLAMBDA.

Dettagli sul prodotto

Autori Gordon, M Gordon, M. Gordon, Milner, R Milner, R. Milner, C P Wadsworth, C. P. Wadsworth, C.P. Wadsworth
Editore Springer, Berlin
 
Lingue Inglese, Tedesco
Formato Tascabile
Pubblicazione 29.06.2009
 
EAN 9783540097242
ISBN 978-3-540-09724-2
Pagine 161
Peso 249 g
Illustrazioni VIII, 161 p.
Serie Lecture Notes in Computer Science
Lecture Notes in Computer Science
Categoria Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Tematiche generali, enciclopedie

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.