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 communication between the people involv...

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...