Catalog

Record Details

Catalog Search


Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Cover Image E-book E-book

Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Giuseppe Castagna.

Castagna, Giuseppe. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02046nam a22005055i 4500
00137450
003CONS
00520131220052956.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642005909 ‡9978-3-642-00590-9
0247 . ‡a10.1007/978-3-642-00590-9 ‡2doi
035 . ‡a(DE-He213)978-3-642-00590-9
050 4. ‡aQA76.7-76.73
050 4. ‡aQA76.76.C65
072 7. ‡aUMX ‡2bicssc
072 7. ‡aUMC ‡2bicssc
072 7. ‡aCOM051010 ‡2bisacsh
072 7. ‡aCOM010000 ‡2bisacsh
1001 . ‡aCastagna, Giuseppe. ‡eeditor.
24510. ‡aProgramming Languages and Systems ‡h[electronic resource] : ‡b18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / ‡cedited by Giuseppe Castagna.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5502
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aInformation theory.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aSoftware Engineering/Programming and Operating Systems.
65024. ‡aProgramming Techniques.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aTheory of Computation.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642005893
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5502
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-00590-9 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a37450 ‡b ‡c37450 ‡tbiblio ‡sSystem Local

Additional Resources