This volume contains the papers which were presented at the second workshop 'Computer Science Log...

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

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

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

Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehörend erkannte Begriffe, deren mat...

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

The systems engineering method proposed in this book, which is based on Abstract State Machines (...

This book constitutes the refereed proceedings of the First International Conference of Abstract ...

This book grew out of material which was taught at the International Summer School on Architectur...

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

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus inHeidelberg, Germany, Oct...

This book grew out of material which was taught at the International Summer School on Architectur...

Endlich liegt der ,,Klassiker' der Theoretischen Informatik, der Studenten und Forschern ein unen...

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

This book uses a variety of applications to illustrate a modeling method that helps practitioners...

This volume contains the papers which were presented to the workshop 'Computer-Science Logic' hel...

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer S...

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

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

This volume contains the revised versions of 28 papers presented at the third workshop on Compute...

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract Sta...

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from...

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

This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophe...

The systems engineering method proposed in this book, which is based on Abstract State Machines (...