Titre: Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link�??�?�ping, Sweden, April, 22 - 24, 1996. Proceedings (Lecture Notes in Computer Science)
�diteur: Springer
Date de parution: 1996
Langue: anglais
ISBN � 10 chiffres: 3540610553
ISBN � 13 chiffres: 9783540610557
Reliure: Paperback
�tat de l'article: Very Good

A propos de ce titre

Synopsis

This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Link�ping, Sweden, in April 1996.
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

GuthrieBooks
TX, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

At this time we accept payment through Visa or Mastercard.

Conditions d'exp�dition

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.