Použití rovností při specifikacích programů

Uloženo v:
Podrobná bibliografie
Hlavní autor: Smičková, Marie (Autor práce)
Další autoři: Zlatuška, Jiří, 1957- (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1986
Témata:
Obálka
LEADER 01989ntm a22004817a 4500
001 MUB01000681351
003 CZ BrMU
005 20110715091849.0
008 110620s1986 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2019-12-20 
040 |a BOD004  |b cze 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.42  |2 MRF 
080 |a 004.4/.6  |2 MRF 
100 1 |a Smičková, Marie  |* [absolvent PřírF MU]  |4 dis 
245 1 0 |a Použití rovností při specifikacích programů  |h [rukopis] /  |c Marie Smičková 
260 |c 1986 
300 |a 49 l. +  |e 1 sv. (počítačová sjetina) 
500 |a Vedoucí práce: Jiří Zlatuška 
502 |a Diplomová práce (Mgr.)--Univerzita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1986 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 9 |a programming  |2 eczenas 
655 7 |a diplomové práce  |7 fd132022  |2 czenas 
655 9 |a master's theses  |2 eczenas 
700 1 |a Zlatuška, Jiří,  |d 1957-  |7 jn20000402753  |% UČO 1777  |4 ths 
710 2 |a Univerzita J.E. Purkyně v Brně.  |b Přírodovědecká fakulta  |7 kn20010709351  |4 dgg 
CAT |a KOSKOVA  |b 02  |c 20110620  |l MUB01  |h 1038 
CAT |a KOSKOVA  |b 02  |c 20110715  |l MUB01  |h 0918 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0149 
CAT |c 20120610  |l MUB01  |h 1354 
CAT |c 20120610  |l MUB01  |h 2026 
CAT |a HANAV  |b 02  |c 20130121  |l MUB01  |h 2328 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1244 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0200 
CAT |c 20191220  |l MUB01  |h 1301 
CAT |c 20210614  |l MUB01  |h 0954 
CAT |c 20210614  |l MUB01  |h 1943 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1206 
CAT |a POSPEL  |b 02  |c 20221010  |l MUB01  |h 1540 
LOW |a POSLANO DO SKCR  |b 2019-12-20 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 K-3774  |5 3145148799  |8 20110620  |a 1986  |f 71  |f Prezenční SKLAD  |q 20180413 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d K-3774  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK