Description: Algebraic semantics of imperative programs

Algebraic semantics of imperative programs

Saved in:

Bibliographic Details
Main Author:	Goguen, Joseph.
Other Authors:	Malcolm, Grant.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, c1996.
Series:	Foundations of computing.
Subjects:	Programming languages (Electronic computers) > Semantics. Algebra. elektronické knihy electronic books
ISBN:	9780262288453
Physical Description:	1 online zdroj (vii, 228 p.) : ill.

Description
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