EUR 41,16
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 452 Illus.
EUR 46,28
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 452.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 49,96
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 49,96
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
EUR 41,36
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 452.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 47,13
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,18
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2007
ISBN 10: 3540766367 ISBN 13: 9783540766360
Librería: Revaluation Books, Exeter, Reino Unido
EUR 81,66
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2007 edition. 431 pages. 9.00x6.00x1.00 inches. In Stock.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on a broad range of topics.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Programming Languages and Systems | 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings | Zhong Shao | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540766360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Buchpark, Trebbin, Alemania
EUR 43,31
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 448 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on a broad range of topics.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Nov 2007, 2007
ISBN 10: 3540766367 ISBN 13: 9783540766360
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on a broad range of topics. 448 pp. Englisch.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2007
ISBN 10: 3540766367 ISBN 13: 9783540766360
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefull.
Idioma: Inglés
Publicado por Springer, Springer Nov 2007, 2007
ISBN 10: 3540766367 ISBN 13: 9783540766360
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talk 1.- X10: Concurrent Programming for Modern Architectures.- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.- Local Reasoning for Storable Locks and Threads.- Monadic, Prompt Lazy Assertions in Haskell.- Translation Correctness for First-Order Object-Oriented Pattern Matching.- Persistent Oberon: A Programming Language with Integrated Persistence.- More Typed Assembly Languages for Confidentiality.- A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.- On a Tighter Integration of Functional and Logic Programming.- Invited Talk 2.- Scalable Simulation of Cellular Signaling Networks.- Timed, Distributed, Probabilistic, Typed Processes.- A Probabilistic Applied Pi-Calculus.- Type-Based Verification of Correspondence Assertions for Communication Protocols.- Deriving Compilers and Virtual Machines for a Multi-level Language.- Finally Tagless, Partially Evaluated.- Polymorphic Delimited Continuations.- Adjunct Elimination in Context Logic for Trees.- Positive Arithmetic Without Exchange Is a Subclassical Logic.- Mixed Inductive/Coinductive Types and Strong Normalization.- Invited Talk 3.- Static and Dynamic Analysis: Better Together.- The Semantics of 'Semantic Patches' in Coccinelle: Program Transformation for the Working Programmer.- An Efficient SSA-Based Algorithm for Complete Global Value Numbering.- A Systematic Approach to Probabilistic Pointer Analysis.- Complete Lattices and Up-To Techniques.- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract.- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.- Call-by-Name and Call-by-Value in Normal Modal Logic.- Call-by-Value Is Dual to Call-by-Name, Extended.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 448 pp. Englisch.