Algebraic semantics of imperative programs
Goguen, Joseph
Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm - Cambridge, Mass. MIT Press 1996 - vii, 228 p. fig. 24 cm. - Foundations of computing .
Includes bibliographical references and index
026207172X
Ηλεκτρονικοί υπολογιστές--Γλώσσες προγραμματισμού
005.131
Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm - Cambridge, Mass. MIT Press 1996 - vii, 228 p. fig. 24 cm. - Foundations of computing .
Includes bibliographical references and index
026207172X
Ηλεκτρονικοί υπολογιστές--Γλώσσες προγραμματισμού
005.131