Staff View: The formal semantics of programming languages

The formal semantics of programming languages an introduction

Saved in:

Bibliographic Details
Main Author:	Winskel, G.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, c1993.
Series:	Foundations of computing.
Subjects:	Programming languages (Electronic computers) > Semantics. elektronické knihy electronic books
ISBN:	9780262291453
Physical Description:	1 online zdroj (xviii, 361 p.) : ill.


LEADER	01479cam a2200325 a 4500
001	74995
003	CZ ZlUTB
005	20240911212346.0
006	m d
007	cr un
008	130208s1993 maua sb 001 0 eng d
020			\|a 9780262291453 \|q (ebook)
035			\|a (OCoLC)827009813
040			\|a IEEEE \|c IEEEE \|d OCLCF
100	1		\|a Winskel, G. \|q (Glynn)
245	1	4	\|a The formal semantics of programming languages \|h [elektronický zdroj] : \|b an introduction / \|c Glynn Winskel.
260			\|a Cambridge, Mass. : \|b MIT Press, \|c c1993.
300			\|a 1 online zdroj (xviii, 361 p.) : \|b ill.
490	1		\|a Foundations of computing
504			\|a Includes bibliographical references (p. [353]-356) and index.
506			\|a 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
650		0	\|a Programming languages (Electronic computers) \|x Semantics.
655		7	\|a elektronické knihy \|7 fd186907 \|2 czenas
655		9	\|a electronic books \|2 eczenas
776	0	8	\|i Print version: \|a Winskel, G. (Glynn). \|t Formal semantics of programming languages. \|d Cambridge, Mass. : MIT Press, c1993 \|z 0262231697 \|w (DLC) 92036718 \|w (OCoLC)26764522
830		0	\|a Foundations of computing.
856	4	0	\|u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826 \|y Plný text
992			\|a BK \|c EBOOK-TN \|c MITPRESS
999			\|c 74995 \|d 74995
993			\|x NEPOSILAT \|y EIZ