Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Unbekannt

ISBN 10: 364217163X ISBN 13: 9783642171635

Editorial: Springer-Verlag GmbH, 2010

Idioma: Ingl�s

Condici�n: Usado - Excelente Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Buchpark, Trebbin, Alemania

Vendedor de AbeBooks desde 30 de septiembre de 2021

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Excelente

Precio: EUR 60,21 Convertir moneda

EUR 14,90 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Zustand: Sehr gut | Seiten: 456 | Sprache: Englisch | Produktart: Sonstiges.

N� de ref. del art�culo 10034504/12

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Editor

Springer-Verlag GmbH

Fecha de publicaci�n

2010

Idioma

Ingl�s

ISBN 10

364217163X

ISBN 13

9783642171635

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Sehr gut

Cat�logos de vendedores

Sonstiges

Acerca de

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Ver la p�gina web de la librer�a