Platon Technologies
not logged in Login Registration
EnglishSlovak
open source software development celebrating 10 years of open source development! Saturday, October 17, 2026
[BACK] [TXT][DIR] Up to [Platon] / doc / ztp-zbierka

Diff for doc/ztp-zbierka/05-zaver.tex between version 1.5 and 1.6

version 1.5, 2007/06/04 07:42:44 version 1.6, 2007/07/15 00:43:13
Line 10 
Line 10 
 % 26/02/2003 - created  % 26/02/2003 - created
 %  %
   
 % $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.4 2007-06-03 12:11:16 nepto Exp $  % $Platon: doc/ztp-zbierka/05-zaver.tex,v 1.5 2007-06-04 07:42:44 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{Igor Prívara}:                  \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{Igor Prívara}:                  \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{Zohar Manna}:                  \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}  
           \bibitem{funcprog}
                 \bibauthor{Anthony J. Field},                  \bibauthor{Anthony J. Field},
                 \bibauthor{Peter G. Harrison}:                  \bibauthor{Peter G. Harrison}:
                 \bibwork{Functional Programming},                  \bibwork{Functional Programming},
                 Addison Wesley.                  Addison Wesley.
   
 \end{thebibliography}  \end{thebibliography}
   
 % vim: ts=4  % vim: ts=4
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6
Platon Group <platon@platon.org> http://platon.org/
Copyright © 2002-2006 Platon Group
Site powered by Metafox CMS 		Go to Top