Logic : a foundation for computer science

Logic a foundation for computer science

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Sperschneider, Volker (VerfasserIn)
Weitere Verfasser: Antoniou, Grigorios (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Wokingham u.a. Addison-Wesley 1991
Schriftenreihe:International computer science series
Schlagworte:
Logische Programmierung > Klausellogik > Horn-Klausel > Abstrakter Datentyp > Algebraische Spezifikation > Termersetzungssystem > Programmverifikation > Hoare-Logik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XII, 495 S. : graph. Darst.
ISBN:0201565145