Logical Foundations of Computer Science edito da Springer Berlin Heidelberg
Alta reperibilità

Logical Foundations of Computer Science

International Symposium, Lfcs 2007, New York, Ny, Usa, June 4-7, 2007, Proceedings

EAN:

9783540727323

ISBN:

3540727329

Pagine:
532
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Logical Foundations of Computer Science

Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming.

Spedizione gratuita
€ 65.42
o 3 rate da € 21.81 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Logical Foundations of Computer Science
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti