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

Remote Storage