profeta-book.tex

%% Do not edit this file unless you know what you are doing.
\documentclass[10pt,oneside,english]{book}
\usepackage{charter}
\usepackage[T1]{fontenc}
\usepackage{a4wide}
\usepackage[paper=a4paper,left=1.5in,hmarginratio=3:2]{geometry}
%\usepackage{geometry}
%\geometry{verbose,tmargin=2.5cm,bmargin=2.5cm,lmargin=2.2cm,rmargin=2.2cm}
\usepackage{babel}
\usepackage{setspace}
\usepackage{url}
\usepackage{textcomp}
\usepackage{listings}

\newcommand{\python}{
\lstset{language=Python, basicstyle=\ttfamily,frame=trBL,
  showstringspaces=false,
  frameround=fttt,numbers=left,}}

\newcommand{\pythonsmall}{
\lstset{language=Python, basicstyle=\ttfamily\scriptsize,frame=trBL,
  showstringspaces=false,
  frameround=fttt,numbers=left,}}

\newcommand{\pythontiny}{
\lstset{language=Python, basicstyle=\ttfamily\tiny,frame=trBL,
  showstringspaces=false,
  frameround=fttt,numbers=left}}

\newcommand{\shell}{
\lstset{language=sh, basicstyle=\ttfamily,frame=trBL,
  showstringspaces=false,
  frameround=fttt,numbers=left}}

\newcommand{\shellsnap}[1]{\setbox0=\vbox{\tt\noindent#1}\vspace{3mm}\\\framebox{\box0}\vspace{3mm}\\}

\newenvironment{theshell}
    {\begin{tabular}{|p{\textwidth}|}
    \hline\\
    \tt}
    {
    \\\\\hline
    \end{tabular}}


\onehalfspacing


\begin{document}

\thispagestyle{empty}

\vspace*{5cm}

{\raggedleft%%
{\Huge{}PROFETA:
A Python Tool to Write\\
Rational Autonomous Systems\\}
~\\~\\~\\~\\
{\Large{}\emph{Corrado Santoro}\\}}

\newpage

\vspace*{5cm}

\noindent\textbf{Title}: ``PROFETA: A Python tool to write rational autonomous systems''

\noindent\textbf{Author}: Corrado Santoro

\noindent\textbf{Edition}: First, August 2016

\noindent{}Copyright \copyright ~2016
Corrado Santoro (santoro@dmi.unict.it).\\
\noindent{}University
of Catania. All rights reserved.

~

~
\noindent{}This book contains material which are copyright
by the Autor.
Everything present in this book (text, source code, figures)
are copyright by the Author. None
of these parts may be reproduced in form by any electronic or mechanical means
(including photocopying, recording, or information storage and retrieval)
without
permission in writing from the Author.

~\tableofcontents


\input{preface}
\input{basics}

\bibliographystyle{plain}
\bibliography{profeta-book}

\end{document}