Počet záznamov: 1
Formal Development of Programs and Proofs
Názov Formal Development of Programs and Proofs Aut.údaje Edger W. Dijkstra Autor Dijkstra Edger W.
Vyd.údaje Reading : Addison-Wesley , 1990. - 242 s. Vydanie [1st ed.] ISBN 0-201-17237-2 Kľúč.slová programovanie - programming matematické dôkazy - mathematical proofs binárne stromové modely Möbiova postupnosť Jazyk dok. angličtina Krajina Spojené štáty Systematika 681.3.06=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 kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 210212 Univerzita Mateja Bela FP Katedra matematiky len prezenčne
Počet záznamov: 1