Libri di David Luth Cristoph Aspinall

Bibliografia di David Luth Cristoph Aspinall: tutti i libri in vendita online editi da Aracne Applicazioni professionali

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

UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003) Lüth Cristoph  Aspinall David   -  Aracne, 2003  - 

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

€ 12.00
 
ACQUISTA