Programming Languages and Systems - Couverture souple

 
9783540330950: Programming Languages and Systems
Couverture souple
ISBN 10 : 354033095X ISBN 13 : 9783540330950
Editeur : Springer, 2006

Synopsis

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.

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

Éditeur
Springer
Date d'édition
2006
Langue
anglais
ISBN 10 
354033095X
ISBN 13 
9783540330950
Reliure
Broché
Nombre de pages
360
Éditeur
Sestoft Peter
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne