This book uses a variety of applications to illustrate a modeling method that helps practiti...
This book constitutes the refereed proceedings of the First International Conference of Abstract ...
This volume presents the proceedings of the Computer ScienceLogic Workshop CSL ''92, held in Pi...
This volume contains the final versions of a collection of papers presented at the Annual Confere...
Written for hardware-software system engineers, researchers and students, this text introduces a ...
This volume contains the papers which were presented at the second workshop 'Computer Science Log...
This book grew out of material which was taught at the International Summer School on Architectur...
This volume contains the papers which were presented to the workshop 'Computer-Science Logic' hel...
This volume contains 28 papers on recent developments in concepts and methods of logic which are ...
This book provides a high-level desription of Java and of the Java Virtual Machine.
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is kno...