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… mais…
booklooker.de |
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 … mais…
BarnesandNoble.com new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
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… mais…
amazon.de ThriftBooks-Chicago USA Gut Custos de envio:Gewöhnlich versandfertig in 2 bis 3 Tagen. Real shipping costs can differ from the ones shown here. (EUR 3.00) Details... |
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… mais…
Biblio.co.uk |
ISBN: 9783642171635
Livre, [PU: Springer, Berlin/Heidelberg/New York, NY]
Rakuten.fr |
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 - Livro de bolso
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… mais…
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 … mais…
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… mais…
no/na Biblio.co.uk
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… mais…
ISBN: 9783642171635
Livre, [PU: Springer, Berlin/Heidelberg/New York, NY]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2010
Editor/Editora: Springer Berlin Heidelberg Core >1 >T
456 Páginas
Peso: 0,708 kg
Língua: eng/Englisch
Livro na base de dados desde 2009-07-08T07:56:26-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-12-10T20:12:25-03:00 (Sao Paulo)
Número ISBN/EAN: 364217163X
Número ISBN - Ortografia alternativa:
3-642-17163-X, 978-3-642-17163-5
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: ueda, jürgen neukirch
Título do livro: the languages china, shanghai, november, programming language, klassenkörpertheorie, book programming, programming systems and languages, computer systems, symposium notes
Dados da editora
Autor: Kazunori Ueda
Título: 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
Editora: Springer; Springer Berlin
440 Páginas
Ano de publicação: 2010-11-05
Berlin; Heidelberg; DE
Língua: Inglês
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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783030644369 Programming Languages and Systems (Bruno C. d. S. Oliveira)
- 9783030644369 Programming Languages and Systems (Bruno C. d. S. Oliveira)
- 9781013269882 Programming Languages and Systems (Amal Ahmed)
- 9781013269899 Programming Languages and Systems (Amal Ahmed)
- 9780070537088 Programming Systems and Languages. (Rosen, Saul, Comp)
- Programming Systems and Languages (Rosen, S. (ed))
< Para arquivar...