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

EAN

9788879995474

Data pubblicazione

2003 01 01

Lingua

eng

Pagine

192

Tipologia

Libro in brossura

Come si presenta questo libro

Contenuto tecnico pensato per capire e applicare

Il libro è orientato soprattutto a comprensione tecnica e applicazione, con contenuti che risultano più utili quando vengono messi alla prova sul campo.

Cosa trovi dentro

Dentro trovi soprattutto programmazione, sviluppo software e sistemi.

Perché può piacerti

Può funzionare bene per sviluppatori e tecnici, con un tono tecnico e pratico e un approccio impegnativo.

Ideale per
Ideale per sviluppatori e tecnici

È adatto a chi cerca contenuto tecnico da capire e poi usare, non solo da leggere in astratto.

Product Information

Shipping & Returns

Edizione
Acquisto
Non disponibile
From €12.00
UITP 2003. User interfaces for theorem provers, international workshop (Rome, september 2003)
€12.00