Artículos relacionados a Programming Languages and Systems: 8th Asian Symposium,...
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings: 6461 (Programming and Software Engineering) - Tapa blanda
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
- EditorialSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Año de publicación2010
- ISBN 10 364217163X
- ISBN 13 9783642171635
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas440
- EditorUeda Kazunori
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 75,59
EUR 2,00 gastos de envío desde Irlanda a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Programming Languages and Systems: 8th Asian Symposium,...
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 | Seiten: 456 | Sprache: Englisch | Produktart: Sonstiges. Nº de ref. del artículo: 10034504/12
Cantidad disponible: 1 disponibles
Imagen de archivo
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 12067801
Cantidad disponible: 1 disponibles
Imagen de archivo
Programming Languages and Systems
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 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. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 440 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 699. . 2010. Paperback. . . . . Nº de ref. del artículo: V9783642171635
Cantidad disponible: 3 disponibles
Imagen del vendedor
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 12067801
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 12067801-n
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
Cantidad disponible: 3 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
Cantidad disponible: 2 disponibles
Imagen de archivo
Programming Languages and Systems
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 364217163X
ISBN 13: 9783642171635
Nuevo
Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 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. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 440 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 699. . 2010. Paperback. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9783642171635
Cantidad disponible: 3 disponibles
Imagen de archivo
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 12067801-n
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
Cantidad disponible: 1 disponibles