Algebraic semantics of imperative programs

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goguen, Joseph 1941-2006 (VerfasserIn), Malcolm, Grant (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. [u.a.] MIT Press 1996
Schriftenreihe:	Foundations of computing
Schlagworte:	Algebraïsche taalkunde Algèbre Langages de programmation - Sémantique Programmeren (computers) Semantiek Semantik Algebra Programming languages (Electronic computers) > Semantics Algorithmische Programmierung
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Algebraic semantics of imperative programs von Goguen, Joseph 1941-2006

Veröffentlicht 1996

DE-Aug4
DE-573
Volltext

Elektronisch E-Book

Veröffentlicht 1996

MIT Press

E-Book