Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), International Federation for Information Processing, European Association for Theoretical Computer Science, International Symposium on the Semantics of Data Types
Other Authors:	Kahn, G., MacQueen, D. B. (David B.), 1946-, Plotkin, G. (Gordon), 1946-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1984.
Series:	Lecture notes in computer science ; 173.
Subjects:	Programming languages (Electronic computers) > Semantics > Congresses. Data structures (Computer science) > Congresses. sémantique langage programmation. vérification programme. type abstrait. sémantique. type donnée. Langages de programmation > Sémantique > Congrès. Structures de données (Informatique) > Congrès. Data structures (Computer science) Programming languages (Electronic computers) > Semantics. Langages de programmation > Sémantique. Structures de données (informatique) Electronic books. Electronic resources (Books) Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Cataloging based on CIP information. Proceedings of the International Symposium on the Semantics of Data Types. "The symposium was sponsored by IFIP and EATCS"--Foreword. Electronic resource.
Physical Description:	1 online resource (vi, 391 pages) : illustrations.
Format:	Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:	Includes bibliographical references.
ISBN:	9783540388913 3540388915