- 5 Ergebnisse
Kleinster Preis: € 13,38, größter Preis: € 55,60, Mittelwert: € 40,62
1
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Castagna, Giuseppe (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Castagna, Giuseppe (Herausgeber):

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - neues Buch

2009, ISBN: 3642005896

2009 Kartoniert / Broschiert Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, categorytheory;… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Programming Languages and Systems, Kartoniert (TB)
Bestellen
bei Weltbild.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages and Systems, Kartoniert (TB) - neues Buch

2009, ISBN: 3642005896

This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Confere… Mehr…

Nr. 19277451. Versandkosten:, 2-5 Werktage, DE. (EUR 0.00)
zuklappen (X)
3
Bestellen
bei ZVAB.com
€ 13,38
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Castagna, Giuseppe:
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Taschenbuch

2009

ISBN: 3642005896

[EAN: 9783642005893], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], TYPED FUNCTIONAL PROGRAMMING,SERVICE ORIENTED,PARSING,MODEL-DRIVEN DEVELOPMENT,COMPILER CONSTRUCTION,CATE… Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
zuklappen (X)
4
Bestellen
bei buchfreund.de
€ 39,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Castagna, Giuseppe:
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings 2009 - gebrauchtes Buch

2009, ISBN: 9783642005893

2009 Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2009 5159117/12 Versandkostenfreie Lieferung typed functional programming,service oriented,parsing,model-driven development,compile… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
zuklappen (X)
5
Bestellen
bei buchfreund.de
€ 40,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Giuseppe Castagna:
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings 2009 - gebrauchtes Buch

2009, ISBN: 9783642005893

2009 Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2009 5159117/12 Versandkostenfreie Lieferung typed, functional, programming, service, oriented, parsing, model-driven, developmen… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
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:

9783642005893


This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming.

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783642005893
ISBN (ISBN-10): 3642005896
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg
409 Seiten
Gewicht: 0,647 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-03-22T20:41:13+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-18T16:26:46+01:00 (Vienna)
ISBN/EAN: 9783642005893

ISBN - alternative Schreibweisen:
3-642-00589-6, 978-3-642-00589-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: giuseppe, castagna
Titel des Buches: esop, systems theory, general system theory, programming language, joaquin sorolla, march held, conference york, conferences, seven languages, european symposium, the practice programming, programming systems and languages, castagna, computer systems

Daten vom Verlag:

Autor/in: Giuseppe Castagna
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Programming Languages and Systems - 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Verlag: Springer; Springer Berlin
411 Seiten
Erscheinungsjahr: 2009-03-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 411 p.

BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Informatik; category theory; code generation; compiler construction; concurrency; concurrent programming; functional programming; language processing; model-driven development; parsing; programming; programming language; security; service oriented; typed functional programming; verification; algorithm analysis and problem complexity; Compilers and Interpreters; Software Engineering; Theory of Computation; Programming Techniques; Computer Science Logic and Foundations of Programming; Algorithms; Software Engineering; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; EA

Typed Functional Programming.- Well-Typed Programs Can’t Be Blamed.- Exploring the Design Space of Higher-Order Casts.- Practical Variable-Arity Polymorphism.- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.- ETAPS Invited Talk.- Using Category Theory to Design Programming Languages.- Computational Effects.- Modular Monad Transformers.- Handlers of Algebraic Effects.- Types for Object-Oriented Languages.- Is Structural Subtyping Useful? An Empirical Study.- An Interval-Based Inference of Variant Parametric Types.- Existential Quantification for Variant Ownership.- Verification.- Formalising and Verifying Reference Attribute Grammars in Coq.- Verified, Executable Parsing.- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.- Amortised Memory Analysis Using the Depth of Data Structures.- ESOP Invited Talk.- The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?.- Security.- All Secrets Great and Small.- Type-Based Automated Verification of Authenticity in Cryptographic Protocols.- Concurrency.- A Theory of Non-monotone Memory (Or: Contexts for free).- Abstraction for Concurrent Objects.- Minimization Algorithm for Symbolic Bisimilarity.- Service-Oriented Computing.- Conversation Types.- Abstract Processes in Orchestration Languages.- Global Principal Typing in Partially Commutative Asynchronous Sessions.- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.- Parallel and Concurrent Programming.- Automatic Parallelization with Separation Logic.- Deny-Guarantee Reasoning.- A Basis for Verifying Multi-threaded Programs.- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.

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

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

< zum Archiv...