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.

Cover

Table of contents

LEADER 01448cam a2200313 a 4500
001 74995
003 CZ ZlUTB
005 20200530174413.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 

Similar Items