- 5 Ergebnisse
Kleinster Preis: € 18,31, größter Preis: € 53,49, Mittelwert: € 37,34
1
Programming Languages and Systems | 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings | Zhenjiang Hu | Taschenbuch | X | Englisch | 2009 | Springer | EAN 9783642106712 - Hu, Zhenjiang
Bestellen
bei booklooker.de
€ 50,20
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hu, Zhenjiang:

Programming Languages and Systems | 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings | Zhenjiang Hu | Taschenbuch | X | Englisch | 2009 | Springer | EAN 9783642106712 - Taschenbuch

2009, ISBN: 9783642106712

[ED: Taschenbuch], [PU: Springer], This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in Dec… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
2
Programming Languages and Systems
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages and Systems - Taschenbuch

2009, ISBN: 9783642106712

*Programming Languages and Systems* - 7th Asian Symposium APLAS 2009 Seoul Korea December 14-16 2009 Proceedings. Auflage 2009 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, English… Mehr…

Versandkosten:Shipping in 1-2 weeks, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
3
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings - Hu, Zhenjiang
Bestellen
bei booklooker.de
€ 36,53
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hu, Zhenjiang:
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings - gebrauchtes Buch

2009

ISBN: 9783642106712

[PU: Springer Berlin], Neubindung, Buchrücken fehlerhaft geklebt, Buchumschlag leicht geknickt, Auflage 2009 6132078/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, B… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 29,91
(ca. € 28,15)
Versand: € 9,411
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages And Systems (Pb) - neues Buch

ISBN: 9783642106712

New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!, 6

IND - IndienVersandkosten: EUR 9.41 Students Textbooks
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 19,45
(ca. € 18,31)
Versand: € 16,941
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages and Systems - neues Buch

ISBN: 9783642106712

Springer . Papeback. New. pp. x + 358, Springer, 6

Versandkosten: EUR 16.94 Cold Books
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Programming Languages and Systems
Autor:
Titel:
ISBN-Nummer:

9783642106712


This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783642106712
ISBN (ISBN-10): 3642106714
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin
358 Seiten
Gewicht: 0,568 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-04-03T00:42:44+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-13T17:21:14+01:00 (Vienna)
ISBN/EAN: 9783642106712

ISBN - alternative Schreibweisen:
3-642-10671-4, 978-3-642-10671-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: feng, appel
Titel des Buches: lecture notes computer science, korea, seoul, programming language, elvira, programming systems and languages

Daten vom Verlag:

Autor/in: Zhenjiang Hu
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Programming Languages and Systems - 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Verlag: Springer; Springer Berlin
359 Seiten
Erscheinungsjahr: 2009-11-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 359 p.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Informatik; APL; JavaScript; abstract interpretation; bisimulation; commutation; concurrency; formal specification; java programming; logic; logic programming; modeling languages; program semantics; programming; programming language; verification; Compilers and Interpreters; Software Engineering; Data and Information Security; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering; Computersicherheit; Netzwerksicherheit; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA

Invited Talks.- The Twilight Zone: From Testing to Formal Specifications and Back Again.- Types and Recursion Schemes for Higher-Order Program Verification.- The Sketching Approach to Program Synthesis.- Program Analysis.- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation.- Abstract Transformers for Thread Correlation Analysis.- Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters.- Transformation and Optimization.- A Short Cut to Optimal Sequences.- A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming.- Witnessing Purity, Constancy and Mutability.- Type System.- On the Decidability of Subtyping with Bounded Existential Types.- Fractional Ownerships for Safe Memory Deallocation.- Ownership Downgrading for Ownership Types.- Separation Logic.- A Fresh Look at Separation Algebras and Share Accounting.- Weak updates and separation logic.- Proving Copyless Message Passing.- Logic and Foundation Theory.- On Stratified Regions.- Parallel Reduction in Resource Lambda-Calculus.- Classical Natural Deduction for S4 Modal Logic.- Software Security and Verification.- Bi-abductive Resource Invariant Synthesis.- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.- Asymptotic Resource Usage Bounds.- The Higher-Order, Call-by-Value Applied Pi-Calculus.- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.- Refining Abstract Interpretation-Based Static Analyses with Hints.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9781013269882 Programming Languages and Systems (Amal Ahmed)

< zum Archiv...