hans langmaack
Compositionality: The Significant Difference
EbookSofort lieferbarThis book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...
Formal Techniques in Real-Time and Fault-Tolerant Systems
TaschenbuchBezug 11-15This volume presents the proceedings of the Third International Symposium on Formal Techniques in...
Formal Methods for Industrial Applications
TaschenbuchBezug 11-15This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...
Compositionality: The Significant Difference
TaschenbuchBezug 11-15This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...
1. Fachtagung über Programmiersprachen
TaschenbuchBezug 11-15Programmiersprachen gehoren seit den Anfangen der Entwicklung des Fachgebietes Informatik zu dess...
VDM ’90. VDM and Z - Formal Methods in Software Development
TaschenbuchBezug 11-15The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Developm...
- 1