- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 103,24, Mittelwert: € 73,83
1
Programming Languages and Systems
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellengesponserter Link

Programming Languages and Systems - neues Buch

2006, ISBN: 9783540489375

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored… Mehr…

Nr. 978-3-540-48937-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
2
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings: 4279 (Lecture Notes in Computer Science, 4279)
Bestellen
bei amazon.co.uk
£ 91,77
(ca. € 103,24)
Versand: € 3,151
Bestellengesponserter Link
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings: 4279 (Lecture Notes in Computer Science, 4279) - Taschenbuch

2006, ISBN: 9783540489375

Editor: Kobayashi, Naoki, Springer, Paperback, Auflage: 2006, 434 Seiten, Publiziert: 2006-11-06T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 20946175, 0.61 kg, Operating Systems, Comp… Mehr…

Gebraucht, wie neu. Versandkosten:Usually dispatched within 4 to 5 days. Real shipping costs can differ from the ones shown here. (EUR 3.15) swestbooks
3
Programming Languages and Systems - Naoki Kobayashi
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Naoki Kobayashi:
Programming Languages and Systems - Erstausgabe

2006

ISBN: 9783540489375

Taschenbuch

4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2006

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
4
Programming Languages and Systems
Bestellen
bei amazon.co.uk
£ 83,52
(ca. € 93,96)
Versand: € 3,151
Bestellengesponserter Link
Programming Languages and Systems - neues Buch

ISBN: 9783540489375

Unknown Binding, Produktgruppe: Book, Subjects, Books, [PU: Springer, Berlin/Heidelberg]

Versandkosten:Usually dispatched within 4 to 5 days. Real shipping costs can differ from the ones shown here. (EUR 3.15) Book Depository
5
Programming Languages and Systems - Naoki Kobayashi
Bestellen
bei Rakuten.fr
€ 64,99
Versand: € 0,001
Bestellengesponserter Link
Naoki Kobayashi:
Programming Languages and Systems - gebrauchtes Buch

ISBN: 9783540489375

Livre, [PU: Springer, Berlin/Heidelberg]

1 Offers. Versandkosten:France. (EUR 0.00) Priceminister

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

This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006. The 22 revised full papers presented together with 2 invited talks and 1 tutorial were carefully reviewed and selected from 70 submissions. The symposium is devoted to both foundational and practical issues in programming languages and systems. Among the topics covered are semantics, logics, type theory, language design, program analysis, optimization and transformation, software security, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783540489375
ISBN (ISBN-10): 3540489371
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin

Buch in der Datenbank seit 2007-05-20T08:57:27+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-12T09:05:02+01:00 (Vienna)
ISBN/EAN: 9783540489375

ISBN - alternative Schreibweisen:
3-540-48937-1, 978-3-540-48937-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: programming language, kobayashi, held peter, foundation japan
Titel des Buches: language australia, systems software engineering, alone across australia, november, sydney, seven languages, symposium, lecture notes computer science, programming systems and languages


Daten vom Verlag:

Autor/in: Naoki Kobayashi
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
Verlag: Springer; Springer Berlin
423 Seiten
Erscheinungsjahr: 2006-11-06
Berlin; Heidelberg; DE
Gewicht: 1,350 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 423 p.

BC; Programming Languages, Compilers, Interpreters; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Informatik; APL; Constraint; Processing; Scheme; constraint reasoning; dataflow analysis; formal methods; java programming; logic programming; program analysis; program logics; program transformation; programming language; programming theory; software developme; Software Engineering; Logics and Meanings of Programs; Operating Systems; Programming Techniques; Mathematical Logic and Formal Languages; Compilers and Interpreters; Software Engineering; Computer Science Logic and Foundations of Programming; Operating Systems; Programming Techniques; Formal Languages and Automata Theory; Software Engineering; Theoretische Informatik; Betriebssysteme; Computerprogrammierung und Softwareentwicklung; EA

Invited Talk 1.- Type Processing by Constraint Reasoning.- Session 1.- Principal Type Inference for GHC-Style Multi-parameter Type Classes.- Private Row Types: Abstracting the Unnamed.- Type and Effect System for Multi-staged Exceptions.- Session 2.- Relational Reasoning for Recursive Types and References.- Proof Abstraction for Imperative Languages.- Reading, Writing and Relations.- Session 3.- A Fine-Grained Join Point Model for More Reusable Aspects.- Automatic Testing of Higher Order Functions.- Invited Talk 2.- Event Driven Software Quality.- Session 4.- Widening Polyhedra with Landmarks.- Comparing Completeness Properties of Static Analyses and Their Logics.- Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.- Session 5.- A Modal Language for the Safety of Mobile Values.- An Analysis for Proving Temporal Properties of Biological Systems.- Computational Secrecy by Typing for the Pi Calculus.- Invited Tutorial.- Scheme with Classes, Mixins, and Traits.- Session 6.- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy.- Combining Offline and Online Optimizations: Register Allocation and Method Inlining.- A Localized Tracing Scheme Applied to Garbage Collection.- Session 7.- A Pushdown Machine for Recursive XML Processing.- XML Validation for Context-Free Grammars.- A Practical String Analyzer by the Widening Approach.- Session 8.- A Bytecode Logic for JML and Types.- On Jones-Optimal Specializers: A Case Study Using Unmix.

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

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


< zum Archiv...