Programming Languages and Systems
12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
E-bok
PDF, Engelska, 2003708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.
The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Theoretical Computer Science - Proceedings Of The 6th Italian Conference
DEGANO PIERPAOLO, Giuseppe Pirillo, Pierpaolo Degano, Ugo Vaccaro
Inbunden, 1998
2 233 kr
Automata, Languages and Programming
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
Häftad, 1997
1 114 kr
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
Häftad, 2009
561 kr
Formal Methods for Computational Systems Biology
Gianluigi Zavattaro, Pierpaolo Degano, Marco Bernardo
E-bok
2008708 kr
Formal Methods for Computational Systems Biology
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Häftad, 2008
561 kr