Semantik und Programmverifikation

Verfasser / Beitragende:
Christoph Walther
Ort, Verlag, Jahr:
Stuttgart : Teubner, 2001
Beschreibung:
211 S. : graph. Darst.
Format:
Buch
ID: 270436138