Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Ueda, Kazunori (EDT)
ISBN 10: 364217163X ISBN 13: 9783642171635
Editorial: Springer, 2010
Nuevos
Encuadernación de tapa blanda
Librería:
GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 6 de abril de 2009
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
N° de ref. del artículo 12067801-n
Sinopsis:
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
Reseña del editor: The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Programming Languages and Systems : 8th ...
Editorial: Springer
Año de publicación: 2010
Encuadernación: Encuadernación de tapa blanda
Condición: New
Los mejores resultados en AbeBooks
Imagen de archivo
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Publicado por
Springer-Verlag GmbH, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 10034504/12
Comprar usado
EUR 60,21
Gastos de envío:
EUR 105,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings (Lecture Notes in Computer Science, 6461)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLING22Oct2817100464334
Comprar nuevo
EUR 62,54
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programming Languages and Systems
Publicado por
Springer Berlin Heidelberg, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Up to date resultsFast conference proceedingsState-of-the-art reportThe 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial s. Nº de ref. del artículo: 5051342
Comprar nuevo
EUR 64,08
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Programming Languages and Systems (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation. Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783642171635
Comprar nuevo
EUR 66,12
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Publicado por
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware - The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation. Nº de ref. del artículo: 9783642171635
Comprar nuevo
EUR 79,32
Gastos de envío:
EUR 63,52
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Publicado por
Springer-Verlag New York Inc, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 456 pages. 9.00x6.00x0.75 inches. In Stock. Nº de ref. del artículo: x-364217163X
Comprar nuevo
EUR 82,30
Gastos de envío:
EUR 14,18
De Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles