Export byl úspěšný — 

Aplikace resoluční metody pro dokazování správnosti programů

Uloženo v:
Podrobná bibliografie
Hlavní autor: Svatoň, Jaromír (Autor práce)
Další autoři: Sedláček, Václav (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1984
Témata:
Obálka
LEADER 01888ntm a22004577a 4500
001 MUB01000667626
003 CZ BrMU
005 20110120132804.0
008 110120s1984 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2019-10-21 
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 Svatoň, Jaromír  |* [absolvent PřírF MU]  |4 dis 
245 1 0 |a Aplikace resoluční metody pro dokazování správnosti programů  |h [rukopis] /  |c Jaromír Svatoň 
260 |c 1984 
300 |a 51 l. +  |e 1 sv. (počítačová sjetina) 
500 |a Vedoucí práce: Václav Sedláček 
502 |a Diplomová práce (Mgr.)--Universita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1984 
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 Sedláček, Václav  |7 xx0022391  |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 20110120  |l MUB01  |h 0758 
CAT |a KOSKOVA  |b 02  |c 20110120  |l MUB01  |h 1328 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0145 
CAT |c 20120610  |l MUB01  |h 1354 
CAT |c 20120610  |l MUB01  |h 2020 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1206 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0143 
CAT |c 20191021  |l MUB01  |h 1113 
CAT |c 20210614  |l MUB01  |h 0951 
CAT |c 20210614  |l MUB01  |h 1940 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1203 
LOW |a POSLANO DO SKCR  |b 2019-10-21 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 K-3654  |5 3145148220  |8 20110120  |a 1986  |f 71  |f Prezenční SKLAD  |q 20180412 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d K-3654  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK