Gerhard Goos
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
91
Concurrency theory
Software engineering
Mathematical Foundations of Computer Science, 1998
Die Programmiersprache LEX
Logic and computational complexity
An Attribute grammar for the semantic analysis of ADA
Applied formal methods--FM-Trends 98
Lecture notes in computer science
Programs as data objects
Mathematical foundations of computer science 2000
Application and theory of petri nets 1999
Vorlesungen über Informatik: Band 1
Higher order logic theorem proving and its applications
Graph drawing
Rewriting techniques and applications
