Interactive Theorem Proving

Interactive Theorem Proving

AngličtinaMäkká väzbaTlač na objednávku
Springer, Berlin
EAN: 9783642396335
Tlač na objednávku
Predpokladané dodanie v utorok, 14. júla 2026
57,83 €
Bežná cena: 64,25 €
Zľava 10 %
ks
Chcete tento titul ešte dnes?
kníhkupectvo Megabooks Banská Bystrica
nie je dostupné
kníhkupectvo Megabooks Bratislava
nie je dostupné
kníhkupectvo Megabooks Košice
nie je dostupné
EAN 9783642396335
ISBN 364239633X
Typ produktu Mäkká väzba
Vydavateľ Springer, Berlin
Dátum vydania 19. júla 2013
Stránky 498
Jazyk English
Rozmery 235 x 155
Krajina Germany
Čitatelia Professional & Scholarly
Ilustrácie 73 Illustrations, black and white; XII, 498 p. 73 illus.
Editori Blazy Sandrine; Paulin-Mohring Christine; Pichardie David
Edícia 2013 ed.
Séria Theoretical Computer Science and General Issues
Informácie o výrobcovi
Kontaktné informácie výrobcu sú dostupné tu.