Search results
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 
book
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 book
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