(ATFL-4) Pettorossi, A.: Automata Theory and Formal Languages, Fourth Edition, Aracne, April 2013. 272 pages. 
   (SPM-4) Pettorossi, A.: Techniques for Searching, Parsing, and Matching, Fourth Edition, Aracne, August 2013. 292 pages.
   (SPL-2) Pettorossi, A.: Semantics of Programming Languages, Second Edition, Aracne, August 2011. 328 pages.

   (CDC-3) Pettorossi, A.: Elements of Computability, Decidability, and Complexity, Third Edition, Aracne, October 2009. 164 pages.

   (PCLP-3) Pettorossi, A., Proietti, M.: First Order Predicate Calculus and Logic Programming, Third Edition, Aracne, 2014. 140 pages.
       Software: Microsoft Office    Software: Microsoft Office          Software: Microsoft Office     
   (QI-1.2) Pettorossi, A.: Quaderni di Informatica. Parte I. Seconda Edizione, Aracne, 2004. 245 pagine.

   (QI-2.2) Pettorossi, A.: Quaderni di Informatica. Parte II. Seconda Edizione, Aracne, 1993. 180 pagine.
  (ToC-3) Pettorossi, A.: Theory of Computation III, Aracne, 1994. 200  pages.
   (ToC-4) Pettorossi, A.: Theory of Computation IV, Aracne, 1995. 90 pages.

     Software: Microsoft Office            Software: Microsoft Office      Software: Microsoft Office

  (ECP-3) Pettorossi, A.: Elements of Concurrent Programming, Third Edition, Aracne, December 2008. 134 pages.

  (SCPJava) Pettorossi, A.: Sequential and Concurrent Programming in Java, Aracne, 2005. 188 pages

  (C++) Pettorossi, A.: Programming in C++, Aracne, 2001. 80 pages.
  (PAS) Pettorossi, A.: Learning Pascal through Examples, Unitor, 1993. 98 pages.
 Software: Microsoft Office