Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Vše od Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540727323

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...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 322 Kč

1 - 2 ks
1 322 Kč
3 - 10 ks
1 309 Kč
11 a více ks
1 296 Kč

Naše cena 1 322 Kč je o 6 % nižší než
doporučená cena výrobce 1 406 Kč.

Předpoklad doručení do 30. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 322 Kč 1 406 Kč

Nepřehlédněte od Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Více 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.

Výrobce
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Jazyk
Germany
Rozměry
234 x 155 x 31
Rok vydání
2007
Počet stran
516
Obsah
Paperback / softback
Hmotnost
778
Počet stran
516 pages, XII, 516 p.

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Logical Foundations of Computer Science a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!