█ (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.
--------------------------------------
█ (PAS) Pettorossi,
A.: Learning Pascal through Examples, Unitor, 1993. 98 pages.
█ (C++)
Pettorossi, A.: Programming in C++, Aracne, 2001. 80 pages.
█ (SCPJava)
Pettorossi, A.: Sequential and Concurrent Programming in Java, Aracne, 2005.
188 pages
█ (ECP-3) Pettorossi,
A.: Elements of Concurrent Programming, Third Edition, Aracne, December 2008.
134 pages.
█ (PCLP-2) Pettorossi, A., Proietti, M.: First Order
Predicate Calculus and Logic Programming, Second Edition, Aracne, 2005. 72
pages.
--------------------------------------
█ (CDC-3)
Pettorossi, A.: Elements of Computability, Decidability, and Complexity, Third Edition,
Aracne, October 2009. 164 pages.
█ (ATFL-3)
Pettorossi, A.: Automata Theory and
Formal Languages, Third Edition, Aracne, August 2011. 256 pages.
█ (SPM-3)
Pettorossi, A.: Techniques for Searching, Parsing, and Matching, Third Edition, Aracne, August
2011. 264 pages.
█ (SPL-2)
Pettorossi, A.: Semantics of Programming Languages, Second Edition, Aracne,
August 2011. 328 pages.
--------------------------------------