Search results
Title Formal Development of Programs and Proofs Author info Edger W. Dijkstra Author Dijkstra Edger W.
Issue data Reading : Addison-Wesley , 1990. - 242 s. Issue [1st ed.] ISBN 0-201-17237-2 Keywords programovanie - programming matematické dôkazy - mathematical proofs binárne stromové modely Möbiova postupnosť Language English Country United States of America systematics 681.3.06=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 
book
Call number Location Sublocation Umiestnenie Info 210212 Univerzita Mateja Bela Department of mathematics In-Library Use Only