Semantik und Programmverifikation

Bibliographische Detailangaben

1. Verfasser:	Walther, Christoph (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	German
Veröffentlicht:	Wiesbaden Vieweg+Teubner Verlag 2001
Schriftenreihe:	TEUBNER-TEXTE zur Informatik 34
Schlagworte:	Engineering Engineering, general Ingenieurwissenschaften Funktionale Programmiersprache Programmverifikation Formale Semantik
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!