Il tuo browser non supporta JavaScript!
Vai al contenuto della pagina
Iscriviti alla newsletter
Ricerca avanzata
0

Libri di David Aspinall

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

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

Cristoph Lüth, David Aspinall

Libro: Libro in brossura

editore: Aracne

anno edizione: 2003

pagine: 192

12,00 €

Contattaci

Non hai trovato quello che stavi cercando?

Mandaci un'email

ti aiuteremo con la tua richiesta

Affina la ricerca

loader
Caricamento in corso...

Libreria Tempi Nuovi

Via della Pace, 16/A - 25122 Brescia (BS)
Partita Iva: 03328310176 - Registo imprese: BS/340696
Capitale sociale: € 1000 i.v.

Informazioni

Seguici su:

Realizzazione:
Powered by:

Inserire il codice per il download.

Chiudi

Inserire il codice per attivare il servizio.

Chiudi