Semantik und Programmverifikation
Series: TEUBNER-TEXTE zur Informatik -- 34,
Publisher: Vieweg+Teubner Verlag
Published: 2001
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783322867681
Subjects: Programmverifikation; Formale Semantik; Funktionale Programmiersprache
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA