Synthesis, transformation and analysis of logic programs

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam [u.a.] North-Holland
Schlagworte:	Programmverifikation Programmanalyse Logische Programmierung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!