Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)

EAN

9788879995450

Data pubblicazione

2003 01 01

Lingua

eng

Pagine

148

Tipologia

Libro in brossura

Come si presenta questo libro

Un libro orientato a uso pratico e comprensione tecnica

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 €11.00
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
€11.00