Browse Shelf

Title: Mathematical logic for computer science
Author: Lu, Zhongwan
Year: 1989
Collections: General.

Title: Strutture, linguaggi, sintassi: una introduzione
Author: Luccio, Fabrizio
Year: 1974
Collections: General.

Title: Algebraic approaches to program semantics
Author: Manes, Ernest G. 1943-
Year: 1986
Collections: General.

Title: An introduction to formal language theory
Author: Moll, Robert N.
Year: 1988
Collections: General.

Title: Logic and computation: interactive proof with Cambridge LCF
Author: Paulson, Lawrence C.
Year: 1987
Collections: General.

Title: Logic for computer science
Author: Reeves, Steve 1957-
Year: 1990
Collections: General.

Title: Petri nets: an introduction
Author: Reisig, Wolfgang
Year: 1985
Collections: General.

Title: A connotational theory of program structure
Author: Royer, James S.
Year: 1987
Collections: General.

Title: Concepts of programming languages
Author: Sebesta, Robert W.
Year: 1989
Collections: General.