Libro acquistabile con carte di credito e carte prepagate Postepay.

 

Libro acquistabile con Carta Docente.

 

Libro acquistabile con Carta Cultura Giovani e Carta del Merito.

 

Libro acquistabile in tre rate mensili Klarna.

 

Il costo del libro sarà addebitato solo all’avvio della consegna.

 

Scegli il punto di ritiro dei libri più comodo.

UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)

Riferimento: 9788879995474

Editore: Aracne
Autore: Cristoph Lüth, David Aspinall
Pagine: 192
Formato: Libro in brossura
Data pubblicazione: 2003
EAN: 9788879995474
Non disponibile
12,00 €
IVA inclusa
Quantità