- 5 Ergebnisse
Kleinster Preis: € 91,95, größter Preis: € 119,60, Mittelwert: € 104,83
1
Programming Languages and Systems - Andrew Gordon
Bestellen
bei booklooker.de
€ 119,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Andrew Gordon:

Programming Languages and Systems - Taschenbuch

2017, ISBN: 9783642119569

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual feder… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchhandlung - Bides GbR
zuklappen (X)
2
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings - Gordon, Andrew (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Gordon, Andrew (Herausgeber):

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings - neues Buch

2010, ISBN: 3642119565

2010 Kartoniert / Broschiert Betriebssystem (EDV), Operating System, Compiler, Übersetzer (EDV), EDV / Theorie / Software-Entw. / Software Engineering, Netzwerk (elektronisch), Programm… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Programming Languages and Systems - Gordon, Andrew D.
Bestellen
bei booklooker.de
€ 91,95
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Gordon, Andrew D.:
Programming Languages and Systems - Erstausgabe

2010

ISBN: 9783642119569

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The Audacity of Hope: Tho… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
4
Programming Languages and Systems | Andrew Gordon | Taschenbuch | Theoretical Computer Science and General Issues | Paperback | Englisch | 2010 | Springer Berlin | EAN 9783642119569 - Gordon, Andrew
Bestellen
bei booklooker.de
€ 94,40
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Gordon, Andrew:
Programming Languages and Systems | Andrew Gordon | Taschenbuch | Theoretical Computer Science and General Issues | Paperback | Englisch | 2010 | Springer Berlin | EAN 9783642119569 - Taschenbuch

2010, ISBN: 9783642119569

[ED: Taschenbuch], [PU: Springer Berlin], and proceedings., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 652, [GW: 972g], 2010, Banküberweisung, PayPal, Klarna-Sofortüberweisung, [CT: S… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
5
Programming Languages and Systems - Andrew Gordon
Bestellen
bei lehmanns.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Andrew Gordon:
Programming Languages and Systems - Erstausgabe

2010, ISBN: 9783642119569

Taschenbuch

19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Procee… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
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:

9783642119569


This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783642119569
ISBN (ISBN-10): 3642119565
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
632 Seiten
Gewicht: 0,971 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-12-14T14:04:42+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-18T16:26:46+01:00 (Vienna)
ISBN/EAN: 9783642119569

ISBN - alternative Schreibweisen:
3-642-11956-5, 978-3-642-11956-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: von gordon
Titel des Buches: general system theory, general systems theory, march held, esop, paphos, cyprus, programming language, european symposium, the practice programming, programming systems and languages, computer systems

Daten vom Verlag:

Autor/in: Andrew Gordon
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Programming Languages and Systems - 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Verlag: Springer; Springer Berlin
632 Seiten
Erscheinungsjahr: 2010-03-17
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XV, 632 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; ETAPS; Java; Processing; ants; classification; functional programming; grammar; programming; programming language; verification; Software Engineering; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Programming Techniques; Compilers and Interpreters; Netzwerk-Hardware; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA

The Audacity of Hope: Thoughts on Reclaiming the Database Dream.- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis.- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.- A Semantic Framework for Declassification and Endorsement.- Amortised Resource Analysis with Separation Logic.- A PolyTime Functional Language from Light Linear Logic.- Testing Polymorphic Properties.- Formal Verification of Coalescing Graph-Coloring Register Allocation.- A Theory of Speculative Computation.- Propositional Interpolation and Abstract Interpretation.- Functional Programming in Sublinear Space.- Logical Concurrency Control from Sequential Proofs.- Fluid Updates: Beyond Strong vs. Weak Updates.- Parameterized Memory Models and Concurrent Separation Logic.- Amortized Resource Analysis with Polynomial Potential.- Generative Operational Semantics for Relaxed Memory Models.- Automating Security Mediation Placement.- TRX: A Formally Verified Parser Interpreter.- On the Expressive Power of Primitives for Compensation Handling.- Separating Shape Graphs.- Deadlock-Free Channels and Locks.- Verifying a Compiler for Java Threads.- A Grammar-Based Approach to Invertible Programs.- Faulty Logic: Reasoning about Fault Tolerant Programs.- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While.- A Universal Calculus for Stream Processing Languages.- Enforcing Stateful Authorization and Information Flow Policies in Fine.- Stateful Contracts for Affine Types.- CFA2: A Context-Free Approach to Control-Flow Analysis.- Weighted Dynamic Pushdown Networks.- Explicit Stabilisation for Modular Rely-Guarantee Reasoning.

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

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

< zum Archiv...