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
Call number Location Sublocation Umiestnenie Info 210212 Univerzita Mateja Bela Department of mathematics In-Library Use Only
Počet záznamov: 1