Logic Aspects of programs

Bibliographische Detailangaben

Körperschaft:	Nihon-IBM-KK (Herausgebendes Organ)
Format:	UnknownFormat
Veröffentlicht:	Tokyo 1981
Schriftenreihe:	Proceedings of the IBM Symposium on Mathematical Foundations of Computer Science 6
Schlagworte:
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!