Zur Startseite wechseln
CHF 0.00
Kategorien
E-Books / Audio-Downloads / Reader
E-Books englisch
Produktbild
Pierpaolo (Hrsg.) Degano

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

Ebook (PDF Format)

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.

CHF 120.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

  • ISBN: 978-3-540-36575-4
  • EAN: 9783540365754
  • Produktnummer: 37146174
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2003
  • Seitenangabe: 420 S.
  • Plattform: PDF
  • Auflage: 2003
  • Reihenbandnummer: 2618

17 weitere Werke von Pierpaolo (Hrsg.) Degano:

Produktbild
Formal Methods for Computational Systems Biology
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
Buch
CHF 114.00
Produktbild
Formal Aspects in Security and Trust
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
Buch
CHF 100.00
Produktbild
Computational Methods in Systems Biology
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
Ebook (PDF Format)
CHF 121.50
Produktbild
Concurrency, Graphs and Models
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
Ebook (PDF Format)
CHF 160.00
Produktbild
Formal Aspects in Security and Trust
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
Ebook (PDF Format)
CHF 93.50
Produktbild
Foundations and Applications of Security Analysis
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
Ebook (PDF Format)
CHF 93.50
Produktbild
Formal Methods for Computational Systems Biology
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
Ebook (PDF Format)
CHF 82.50
Produktbild
Formal Aspects of Security and Trust
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
Buch
CHF 86.00
Produktbild
Principles of Security and Trust
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
Buch
CHF 100.00
Produktbild
Principles of Security and Trust
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
Ebook (PDF Format)
CHF 93.50
Produktbild
Formal Aspects of Security and Trust
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
Ebook (PDF Format)
CHF 80.00
Produktbild
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
Buch
CHF 130.00
Produktbild
Concurrency, Graphs and Models
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
Buch
CHF 165.00
Produktbild
Foundations and Applications of Security Analysis
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
Buch
CHF 100.00
Produktbild
Automata, Languages and Programming
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
Buch
CHF 166.00
Produktbild
Formal Aspects in Security and Trust
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
Ebook (PDF Format)
CHF 93.50
Produktbild
Computational Methods in Systems Biology
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
Buch
CHF 140.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...