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
LanguageEnglish
Published Cambridge, Mass. : MIT Press, 2000.
SeriesFoundations of computing.
Subjects
Computer science.
Milner, R. > (Robin), > 1934-2010.
elektronické knihy
electronic books
Online AccessFull text
ISBN9780262281676
Physical Description1 online zdroj (xiv, 722 p.) : ill.

Cover

More Information
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
Physical Description:1 online zdroj (xiv, 722 p.) : ill.

Similar Items