Programming Languages and Systems - ESOP '96

Name: Programming Languages and Systems - ESOP '96
Brand: Springer, Berlin
SKU: 9783540610557
Price: 52.84 EUR
Availability: InStock

6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings

Автор: Hanne R. Nielson

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.84 € 103.34 лв

This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96...

Информация за книгата

Автор

Hanne R. Nielson

Език

Английски език

Корици

Книга - С меки корици

Издадена

1996

страници

410

EAN

9783540610557

ISBN

3540610553

Enbook ID

05274563

Издател

Springer, Berlin

Теглоt

566

Размери

156 x 234 x 21

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Programming Languages and Systems - ESOP '96

6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също