Alberto Pettorossi

Semantics of programming languages

Elements of computability, decidability, and complexity

Elements of computability, decidability, and complexity

Elements of concurrent programming

Techniques for searching, parsing, and matching

Automata theory and formal languages

Automata tehory and formal languages

Semantics of programming languages. Ediz. italiana

Semantics of programming languages

Automata theory and formal languages

Techniques for searching, parsing, and matching

Information: science and technology for the new century

Elements of computability, decidability, and complexity

Elements of concurrent programming

Sequential and concurrent programming in Java

Programming in C++

Theory of computation. Vol. 4

Quaderni di informatica. Vol. 2

Theory of computation. Vol. 3

Learning Pascal through examples. Una raccolta di programmi Pascal

Quaderni di informatica 1