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… Mehr…
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 … Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. 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… Mehr…
amazon.de ThriftBooks-Chicago USA Gut Versandkosten: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… Mehr…
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 - Taschenbuch
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… Mehr…
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 … Mehr…
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… Mehr…
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… Mehr…
ISBN: 9783642171635
Livre, [PU: Springer, Berlin/Heidelberg/New York, NY]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - 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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg Core >1 >T
456 Seiten
Gewicht: 0,708 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2009-07-08T12:56:26+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-11T00:12:25+01:00 (Vienna)
ISBN/EAN: 9783642171635
ISBN - alternative Schreibweisen:
3-642-17163-X, 978-3-642-17163-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ueda, jürgen neukirch
Titel des Buches: the languages china, shanghai, november, programming language, klassenkörpertheorie, book programming, programming systems and languages, computer systems, symposium notes
Daten vom Verlag:
Autor/in: Kazunori Ueda
Titel: 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
Verlag: Springer; Springer Berlin
440 Seiten
Erscheinungsjahr: 2010-11-05
Berlin; Heidelberg; DE
Gewicht: 0,703 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 440 p. 48 illus.
BC; Programming Languages, Compilers, Interpreters; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Informatik; APL; Constraint; LA; derivation; design; programming; programming language; verification; Theory of Computation; Systems and Data Security; Software Engineering; Logics and Meanings of Programs; Programming Techniques; 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 and Separation.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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))
< zum Archiv...