Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Programming Languages and Systems: 8th Asian Symposium,...
Image fournie par le vendeur
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Edité par
Springer, 2010
ISBN 10 : 364217163X
ISBN 13 : 9783642171635
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 12067801
Acheter D'occasion
EUR 51,31
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings (Lecture Notes in Computer Science, 6461)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLING22Oct2817100464334
Acheter neuf
EUR 53,17
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 12067801-n
Acheter neuf
EUR 54,34
Frais de port :
EUR 2,27
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Programming Languages and Systems (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 364217163X
ISBN 13 : 9783642171635
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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 réf. du vendeur 9783642171635
Acheter neuf
EUR 65,63
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Edité par
Springer-Verlag New York Inc, 2010
ISBN 10 : 364217163X
ISBN 13 : 9783642171635
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 456 pages. 9.00x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-364217163X
Acheter neuf
EUR 81,51
Frais de port :
EUR 14,16
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Programming Languages and Systems
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 364217163X
ISBN 13 : 9783642171635
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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 réf. du vendeur 5051342
Acheter neuf
EUR 64,08
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10 : 364217163X
ISBN 13 : 9783642171635
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783642171635
Acheter neuf
EUR 79,32
Frais de port :
EUR 63,52
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Edité par
Springer-Verlag GmbH, 2010
ISBN 10 : 364217163X
ISBN 13 : 9783642171635
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 10034504/12
Acheter D'occasion
EUR 60,21
Frais de port :
EUR 105
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)