Logical Foundations of Computer Science
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
O produktu
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.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783540727323
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
