Proof, language, and interaction essays in honour of Robin Milner

Saved in:
Bibliographic Details
Other Authors: Plotkin, G. 1946-, Stirling, Colin P., Tofte, Mads., Milner, R. 1934-2010.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, 2000.
Series: Foundations of computing.
Subjects:
ISBN: 9780262281676
Physical Description: 1 online zdroj (xiv, 722 p.) : ill.

Cover

Table of contents

Description
Bibliography: Includes bibliographical references.
ISBN: 9780262281676
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