Modeling Companion for Software Practitioners

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

StructuresofComputing

Abstract State Machines, B and Z

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

Computer Science Logic

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

Computer Science Logic

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

Abstract State Machines

Written for hardware-software system engineers, researchers and students, this text introduces a ...

CSL’88

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

Architecture Design and Validation Methods

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

CSL ’87

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

CSL ’89

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

Java and the Java Virtual Machine

This book provides a high-level desription of Java and of the Java Virtual Machine.

Computation Theory and Logic

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