Algebraic semantics of imperative programs

Saved in:
Bibliographic Details
Main Author Goguen, Joseph
Other Authors Malcolm, Grant
Format eBook
LanguageEnglish
Published Cambridge, Mass. : MIT Press, c1996.
SeriesFoundations of computing.
Subjects
Programming languages (Electronic computers) > Semantics.
Algebra.
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262288453
Physical Description1 online zdroj (vii, 228 p.) : ill.

Cover

More Information
Bibliography:Includes bibliographical references (p. [223]-225) and index.
ISBN:9780262288453
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
Physical Description:1 online zdroj (vii, 228 p.) : ill.

Similar Items