Programming Languages and Systems

- 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

enthalten in Theoretical Computer Science and General Issues-Reihe

enthalten in Lecture Notes in Computer Science-Reihe

Sie sparen 10% des UVP sparen 10%

Taschenbuch
Sofort lieferbar
96,00 €

Über Programming Languages and Systems

It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.

Sprache:
Englisch

ISBN:
9783540713142

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

Einband:
Taschenbuch

Seitenzahl:
542

Veröffentlicht:
8. März 2007

Ausgabe:
2007

Abmessungen:
234x156x29 mm.

Gewicht:
1720 g.

96,00 € inkl. MwSt.
~~106,99 €~~ UVP

Versandkostenfrei

Sofort lieferbar

Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Programming Languages and Systems

It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.

Kund*innenbewertungen von Programming Languages and Systems

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Programming Languages and Systems ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Programming Languages and Systems

Beschreibung von Programming Languages and Systems

Kund*innenbewertungen von Programming Languages and Systems

Willkommen bei den Tales Buchfreunden und -freundinnen