Výsledky vyhľadávania
Názov The Logical Basic for Computer programming Podnázov Deductive systems Aut.údaje Zohar Manna, Richard Waldinger Autor Manna Zohar
Spoluautori Waldinger Richard
Vyd.údaje Reading : Addison-Wesley Publishing Company , 1990. - 642 s. Vydanie 1st ed. ISBN 0-201-18261-0 Kľúč.slová programovanie - programming výroková logika - propositional calculus algoritmy - algorithms unifikácia Jazyk dok. angličtina Krajina Spojené štáty Systematika 519.688=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 210220 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Matematická teorie programů Aut.údaje Zohar Manna; z amerického originálu ... preložil Jiří Hořejš Autor Manna Zohar
Ďalší autori Hořejší Jiří (Prekladateľ)
Vyd.údaje Praha : SNTL , 1981. - 468 s. : il. Vydanie 1.vyd. Edícia Knižnice výpočetní techniky Kľúč.slová matematická informatika - mathematical informatics programovanie - programming Jazyk dok. čeština Krajina Československo Systematika 519.681/075.8/ Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 3, z toho voľných 2, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 142582 Univerzita Mateja Bela UK Referát absenčných výpožičiek 142581 Univerzita Mateja Bela FP Katedra informatiky len prezenčne 142580 Univerzita Mateja Bela UK Referát absenčných výpožičiek