Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 140,44
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 564 Illus.
Taschenbuch. Zustand: Neu. 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 | Rocco De Nicola | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540713142 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. 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.