Programming Languages and Systems

Name: Programming Languages and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540330950
Price: 20672 HUF
Availability: InStock

15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European

Szerző: Peter Sestoft

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

20 672 Ft

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2...

Információk a könyvről

Szerző

Peter Sestoft

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2006

oldal

342

EAN

9783540330950

ISBN

354033095X

Enbook ID

01561842

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1120

Méretek

155 x 235 x 24

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Programming Languages and Systems

15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták