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

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

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

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

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

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

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

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

InhaltsangabeModeling and Synthesis of Behavior, Control and Data Flow.- 1 Introduction.- 2 Behav...

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

RezensionFrom the reviews of the first edition:'The authors. describe their effort as tha...

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