- 5 Risultati
prezzo più basso: € 31,93, prezzo più alto: € 218,99, prezzo medio: € 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
Ordina
da booklooker.de
€ 32,90
Ordina
Dettagli & spedizione
Link sponsorizzato

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 - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Zzgl. Versandkosten., Costi di spedizione aggiuntivi Buchbär
Chiudere (X)
2
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Kazunori Ueda Editor
Ordina
da BarnesandNoble.com
€ 54,99
Ordina
Dettagli & spedizione
Link sponsorizzato
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Kazunori Ueda Editor - nuovo libro

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 … Altro …

new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (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)
Ordina
da amazon.de
€ 94,56
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
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) - edizione con copertina flessibile

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… Altro …

Gut Costi di spedizione:Gewöhnlich versandfertig in 2 bis 3 Tagen. Real shipping costs can differ from the ones shown here. (EUR 3.00) ThriftBooks-Chicago USA
Chiudere (X)
4
Ordina
da Biblio.co.uk
$ 33,93
(indicativi € 31,93)
Spedizione: € 13,451
Ordina
Dettagli del offerente
Link sponsorizzato
Programming Languages and Systems: 8th Asian Symposium, Aplas 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings - edizione con copertina flessibile

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… Altro …

Costi di spedizione: EUR 13.45 ThriftBooks
Chiudere (X)
5
Programming Languages and Systems
Ordina
da Rakuten.fr
€ 218,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Programming Languages and Systems - libri usati

ISBN: 9783642171635

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

1 Offers. Costi di spedizione:France. (EUR 0.00) Priceminister
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings Kazunori Ueda Editor
Autore:
Titolo:
ISBN:

364217163X


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.

Informazioni dettagliate del libro - 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
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer Berlin Heidelberg Core >1 >T
456 Pagine
Peso: 0,708 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2009-07-08T12:56:26+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-12-11T00:12:25+01:00 (Rome)
ISBN/EAN: 364217163X

ISBN - Stili di scrittura alternativi:
3-642-17163-X, 978-3-642-17163-5
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : ueda, jürgen neukirch
Titolo del libro: the languages china, shanghai, november, programming language, klassenkörpertheorie, book programming, programming systems and languages, computer systems, symposium notes

Dati dell'editore

Autore: Kazunori Ueda
Titolo: 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
Editore: Springer; Springer Berlin
440 Pagine
Anno di pubblicazione: 2010-11-05
Berlin; Heidelberg; DE
Lingua: Inglese
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
< Per archiviare...