This volume contains the final versions of a collection of papers presented at the Annual Confere...

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organi...

Foundations and Methodology.- The Name and Nature of Software Engineering.- A Modeling Language f...

Activities performed in organizations are coordinated via communicationbetween the people involve...

This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The pa...

This volume presents the proceedings of the workshop CSL '91(ComputerScience Logic) held at...

Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegr...

This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa,...

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is kno...

Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegr...

This volume contains 28 papers on recent developments in concepts and methods of logic which are ...

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...