- 5 Results
Lowest price: € 31.93, highest price: € 218.99, average price: € 86.67
1
Programming Languages and Systems / 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings / Taschenbuch / Lecture Notes in Computer Science / Book / Englisch
Order
at booklooker.de
€ 32.90
Order
Details & Shipping
Sponsored link

Programming Languages and Systems / 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings / Taschenbuch / Lecture Notes in Computer Science / Book / Englisch - Paperback

2010, ISBN: 9783642171635

[ED: Taschenbuch], [PU: Springer Berlin], The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selecte… More...

Shipping costs:Zzgl. Versandkosten., plus shipping costs Buchbär
close (x)
2
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Kazunori Ueda Editor
Order
at BarnesandNoble.com
€ 54.99
Order
Details & Shipping
Sponsored link
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Kazunori Ueda Editor - new book

2010, ISBN: 9783642171635

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 … More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
3
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings (Lecture Notes in Computer Science, 6461, Band 6461)
Order
at amazon.de
€ 94.56
Shipment: € 3.001
Order
Provider details
Sponsored link
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings (Lecture Notes in Computer Science, 6461, Band 6461) - Paperback

2010

ISBN: 9783642171635

Springer, Taschenbuch, Auflage: 2010, 450 Seiten, Publiziert: 2010-11-05T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783642171635, 1.54 kg, Netzwerke, Sicherheit, Computer & Internet… More...

Gut Shipping costs:Gewöhnlich versandfertig in 2 bis 3 Tagen. Real shipping costs can differ from the ones shown here. (EUR 3.00) ThriftBooks-Chicago USA
close (x)
4
Order
at Biblio.co.uk
$ 33.93
(aprox. € 31.93)
Shipment: € 13.451
Order
Provider details
Sponsored link
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings - Paperback

2010, ISBN: 9783642171635

Springer Berlin / Heidelberg, 2010. Paperback. Good. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust… More...

Shipping costs: EUR 13.45 ThriftBooks
close (x)
5
Programming Languages and Systems
Order
at Rakuten.fr
€ 218.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Programming Languages and Systems - used book

ISBN: 9783642171635

Livre, [PU: Springer, Berlin/Heidelberg/New York, NY]

1 Offers. Shipping costs:France. (EUR 0.00) Priceminister
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Kazunori Ueda Editor
Author:
Title:
ISBN:

9783642171635


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.

Details of the book - Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Kazunori Ueda Editor


EAN (ISBN-13): 9783642171635
ISBN (ISBN-10): 364217163X
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer Berlin Heidelberg Core >1 >T
456 Pages
Weight: 0,708 kg
Language: eng/Englisch

Book in our database since 2009-07-08T11:56:26+01:00 (London)
Detail page last modified on 2023-12-10T23:12:25+00:00 (London)
ISBN/EAN: 9783642171635

ISBN - alternate spelling:
3-642-17163-X, 978-3-642-17163-5
Alternate spelling and related search-keywords:
Book author: ueda, jürgen neukirch
Book title: the languages china, shanghai, november, programming language, klassenkörpertheorie, book programming, programming systems and languages, computer systems, symposium notes

Information from Publisher

Author: Kazunori Ueda
Title: Lecture Notes in Computer Science; Programming and Software Engineering; Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Publisher: Springer; Springer Berlin
440 Pages
Publishing year: 2010-11-05
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 440 p. 48 illus.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Informatik; APL; Constraint; LA; derivation; design; programming; programming language; verification; Compilers and Interpreters; Theory of Computation; Data and Information Security; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Theoretische Informatik; Computersicherheit; Netzwerksicherheit; Software Engineering; Computerprogrammierung und Softwareentwicklung; EA

Invited Talks.- A Calculus for Hybrid CSP.- Foundations of Quantum Programming (Extended Abstract).- From a Verified Kernel towards Verified Systems.- Reasoning about Computations Using Two-Levels of Logic.- Session 1.- Typechecking Higher-Order Security Libraries.- Towards Deriving Type Systems and Implementations for Coroutines.- Liberal Typing for Functional Logic Programs.- Session 2.- A Provably Correct Stackless Intermediate Representation for Java Bytecode.- JNI Light: An Operational Model for the Core JNI.- An Interactive Tool for Analyzing Embedded SQL Queries.- Session 3.- Simple and Precise Widenings for H-Polyhedra.- Metric Spaces and Termination Analyses.- Session 4.- Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics.- Interprocedural Control Flow Reconstruction.- Data Structure Fusion.- Session 5.- Categorical Descriptional Composition.- Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras.- Context-Preserving XQuery Fusion.- Session 6.- Index-Compact Garbage Collection.- Live Heap Space Bounds for Real-Time Systems.- Session 7.- A Quick Tour of the VeriFast Program Verifier.- Verification of Tree-Processing Programs via Higher-Order Model Checking.- Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.- Session 8.- Relational Parametricity for a Polymorphic Linear Lambda Calculus.- A Certified Implementation of ML with Structural Polymorphism.- Type Inference for Sublinear Space Functional Programming.- Session 9.- Liveness of Communicating Transactions (Extended Abstract).- Model Independent Order Relations for Processes.- Concurrency Can’t Be Observed, Asynchronously.- Tutorial.- A Logical Mix of Approximation andSeparation.
Up to date results Fast conference proceedings State-of-the-art report
< to archive...