Computer Aided Verification

Computer Aided Verification

AngličtinaMäkká väzba
Springer, Berlin
EAN: 9783642314230
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 9783642314230
ISBN 3642314236
Typ produktu Mäkká väzba
Vydavateľ Springer, Berlin
Dátum vydania 27. júna 2012
Stránky 789
Jazyk English
Rozmery 235 x 155
Krajina Germany
Čitatelia Professional & Scholarly
Ilustrácie XVI, 789 p. 192 illus.
Editori Parthasarathy Madhusudan; Seshia Sanjit A.
Edícia 2012 ed.
Séria Theoretical Computer Science and General Issues
Informácie o výrobcovi
Kontaktné informácie výrobcu sú dostupné tu.