Semantik und Programmverifikation
Gespeichert in:
Verfasser / Beitragende:
Christoph Walther
Ort, Verlag, Jahr:
Stuttgart :
Teubner,
2001
Beschreibung:
211 S. : graph. Darst.
Format:
Buch