blob: a0d532f366a57736fdec923b08ea196563a4b149 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
\title{\Title}
\author{\textbf{Autor}: \Author
\\\textbf{Director}: \Director}
\AddToShipoutPicture*{\BackgroundPic}
\newgeometry{inner=1cm,outer=1cm,top=0.5cm,bottom=1cm}
\begin{titlepage}
\begin{figure}
\begin{minipage}{.5\linewidth}
\begin{flushleft}
\includegraphics[scale=0.75]{portada/upmc.png}
\end{flushleft}
\end{minipage}
\begin{minipage}{.5\linewidth}
\begin{flushright}
\includegraphics[scale=0.185]{portada/fic.png}
\end{flushright}
\end{minipage}
\end{figure}
\begin{center}
{\color{PortadaBlue}
{ \large \ }\\[0.4cm]
{ \LARGE \bfseries \underline{Máster Universitario en Software y Sistemas}}\\[1.8cm]
{ \Large \bfseries Universidad Politécnica de Madrid}\\[0.2cm]
{ \large Escuela Técnica Superior de Ingenieros Informáticos}\\[2cm]
{ \LARGE \bfseries TRABAJO FIN DE MÁSTER}\\[3.5cm]
\begin{adjustwidth}{2cm}{1cm}
\begin{center}
{ \Huge \bfseries {Implementing a term rewriting}}\\[0.5cm]
{ \Huge \bfseries {engine for the EasyCrypt framework}}\\[2.7cm]
\end{center}
\end{adjustwidth}
\begin{adjustwidth}{5.5cm}{1cm}
{\Large \textbf{Autor:} \Author }\\[0.3cm]
{\Large \textbf{Director:} \Director }\\[0.3cm]
{\Large \textbf{Co-director:} \Codirector }\\[2.5cm]
\end{adjustwidth}
}
\end{center}
\begin{flushright}
{\color{PortadaBlue}
{ \Large MADRID, JUNIO DE 2014}\\
}
\end{flushright}
\end{titlepage}
\ClearShipoutPicture
\restoregeometry
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../memoria"
%%% End:
|
