=============================================================================
ERRATA-CORRIGE of past
editions.
They may be incomplete.
█ (QI-1) Errata-Corrige. Pettorossi, A.: Quaderni di Informatica.
Parte I, UniTor, 1991.
█ (ECP-1) Errata-Corrige. Pettorossi, A.: Elements
of Concurrent Programming, Aracne, 2004. No longer available.
█ (ECP-2) Errata-Corrige. Pettorossi, A.: Elements of
Concurrent Programming, Second Edition, Aracne, 2005.
█ (ECP-2.2) Errata-Corrige. Pettorossi,
A.: Elements of Concurrent Programming, Second Edition, Second Reprint, Aracne,
2005.
█ (PCLP-1) Errata-Corrige.
Pettorossi, A., Proietti, M.: First Order Predicate Calculus and Logic
Programming, Aracne, 2002.
█ (CDC-1) Errata-Corrige.
Pettorossi, A.: Elements of Computability, Decidability, and Complexity,
Aracne, 2006.
█ (CDC-2) Errata-Corrige. Pettorossi, A.:
Elements of Computability, Decidability, and Complexity, Second Edition,
Aracne, July 2007.
█ (ATFL-1) Errata-Corrige. Pettorossi, A.: Automata Theory
and Formal Languages, Aracne, 2006.
█ (ATFL-1.1)
Errata-Corrige. Pettorossi, A.: Automata Theory and Formal Languages, Aracne,
March 2007.
█ (ATFL-1.3) Errata-Corrige. Pettorossi,
A.: Automata Theory and Formal Languages, Aracne, III Reprint, June 2008.
█ (ATFL-2) Pettorossi, A.: Automata Theory and Formal
Languages, Second Edition, Aracne, July 2009.
█ (SPL-1) Errata-Corrige. Pettorossi, A.: Semantics of
Programming Languages, Aracne, 2010.
=============================================================================