| verzia 1.4, 2007/06/03 12:11:16 |
verzia 1.5, 2007/06/04 07:42:44 |
|
|
| % 26/02/2003 - created |
% 26/02/2003 - created |
| % |
% |
| |
|
| % $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.3 2005-11-23 19:33:59 nepto Exp $ |
% $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.4 2007-06-03 12:11:16 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} |
| \bibauthor{Prívara, Igor}: |
\bibauthor{Igor Prívara}: |
| \bibwork{Základy teórie programovania}, |
\bibwork{Základy teórie programovania}, |
| Fakulta matematiky, fyziky a informatiky UK, Bratislava. |
Fakulta matematiky, fyziky a informatiky UK, Bratislava. |
| \bibitem{formspec} |
\bibitem{formspec} |
| \bibauthor{Prívara, Igor}: |
\bibauthor{Igor Prívara}: |
| \bibwork{Formálne špecifikácie programov a Algebraické špecifikácie}, |
\bibwork{Formálne špecifikácie programov a Algebraické špecifikácie}, |
| Inštitút informatiky a štatistiky, Bratislava. |
Inštitút informatiky a štatistiky, Bratislava. |
| \bibitem{Manna} |
\bibitem{Manna} |
| \bibauthor{Manna, Zohar}: |
\bibauthor{Zohar Manna}: |
| \bibwork{Mathematical Theory Of Computation}, |
\bibwork{Mathematical Theory Of Computation}, |
| McGraw-Hill, New York 1974. |
McGraw-Hill, New York 1974. |
| |
\bibitem{Funcprog} |
| |
\bibauthor{Anthony J. Field}, |
| |
\bibauthor{Peter G. Harrison}: |
| |
\bibwork{Functional Programming}, |
| |
Addison Wesley. |
| \end{thebibliography} |
\end{thebibliography} |
| |
|
| % vim: ts=4 |
% vim: ts=4 |
Prihlásiť
Registrácia
English
![[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}
Vyššie na