Eine verifizierte Implementierung funktional-logischer Programmiersprachen

Zugl.: München, Univ., Diss., 1996

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mück, Andy (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Aachen Shaker 1996
Ausgabe:	Als Ms. gedr.
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Funktional-logische Programmiersprache > Verifikation > Implementierung > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Eine verifizierte Implementierung funktional-logischer Programmiersprachen