Number of the records: 1
Formal models in programming
Title Formal models in programming Subtitle Vienna, Austria, 30 January - 1 February 1985 Author info E.J. Neuhold, G. Chroust Another authors Neuhold E.J (Editor)
Chroust Gerhard (Editor)
Issue data Amsterdam : North-Holland , 1985. - 425 s. Issue 1st ed. ISBN 0-444-87888-2 Keywords počítače - computers programovanie - programming medzinárodné konferencie Language English Country Netherlands systematics 681.3.06=20:061.3=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 218142 Univerzita Mateja Bela Department of computer science In-Library Use Only
Number of the records: 1