Diff for doc/ztp-zbierka/05-zaver.tex between version 1.3 and 1.4
| version 1.3, 2005/11/23 19:33:59 |
version 1.4, 2007/06/03 12:11:16 |
|
|
| % 26/02/2003 - created |
% 26/02/2003 - created |
| % |
% |
| |
|
| % $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.2 2004/05/18 19:39:27 nepto Exp $ |
% $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.3 2005-11-23 19:33:59 nepto Exp $ |
| |
|
| \begin{thebibliography}{99} |
\begin{thebibliography}{99} |
| % pridame literaturu do obsahu (standardne sa tam nedava) |
% pridame literaturu do obsahu (standardne sa tam nedava) |
| \addcontentsline{toc}{chapter}{Literatúra} |
\addcontentsline{toc}{chapter}{Literatúra} |
| \bibitem{ztp-skripta} |
\bibitem{ztp-skripta} |
| \textsc{Igor Prívara}, \textit{Základy teórie programovania}, |
\bibauthor{Prívara, Igor}: |
| Fakulta matematiky, fyziky a informatiky UK, Bratislava |
\bibwork{Základy teórie programovania}, |
| |
Fakulta matematiky, fyziky a informatiky UK, Bratislava. |
| |
\bibitem{formspec} |
| |
\bibauthor{Prívara, Igor}: |
| |
\bibwork{Formálne špecifikácie programov a Algebraické špecifikácie}, |
| |
Inštitút informatiky a štatistiky, Bratislava. |
| |
\bibitem{Manna} |
| |
\bibauthor{Manna, Zohar}: |
| |
\bibwork{Mathematical Theory Of Computation}, |
| |
McGraw-Hill, New York 1974. |
| \end{thebibliography} |
\end{thebibliography} |
| |
|
| % vim: ts=4 |
% vim: ts=4 |
Platon Group <platon@platon.org> http://platon.org/
|
|
Login
Registration
Slovak
![[BACK]](http://cvsweb.platon.sk/icons/back.gif){kind=icon}
![[TXT]](http://cvsweb.platon.sk/icons/text.gif){kind=icon}
![[DIR]](http://cvsweb.platon.sk/icons/dir.gif){kind=icon}
Up to