The propositional dynamic logic of deterministic, well-structured programs

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Halpern, Joseph Y. 1953- (VerfasserIn), Reif, John H. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. Mass. Inst. of Technology, Laboratory for Computer Science 1981
Schlagworte:	Logic, Symbolic and mathematical Predicate calculus Programming (Mathematics) Syntax Dynamische Logik Semantik Software
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge