- 5 Ergebnisse
Kleinster Preis: € 52,96, größter Preis: € 68,84, Mittelwert: € 58,79
1
Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings - Daniel Le Metayer
Bestellen
bei ZVAB.com
€ 52,96
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Daniel Le Metayer:

Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings - Taschenbuch

2002, ISBN: 3540433635

[EAN: 9783540433637], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); EXCEPTION; MIXIN; NGUAGES; COMPLEXITY; COMPUTERLANGUAGES; FORMALLANGUAGES; LAMBDACALCULUS;… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings - Daniel Le Metayer
Bestellen
bei ZVAB.com
£ 61,19
(ca. € 68,84)
Versand: € 12,421
Bestellen
Details beim Anbieter
gesponserter Link

Daniel Le Metayer:

Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings - Taschenbuch

2002, ISBN: 3540433635

[EAN: 9783540433637], New book, [SC: 12.42], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); EXCEPTION; MIXIN; NGUAGES; COMPLEXITY; COMPUTERLANGUAGES; FORMALLANGUAGES; LAMBDACALCUL… Mehr…

NEW BOOK. Versandkosten: EUR 12.42 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (of 5)]
zuklappen (X)
3
Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings - Le Metayer, Daniel (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Le Metayer, Daniel (Herausgeber):
Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings - neues Buch

2002

ISBN: 3540433635

2002 Kartoniert / Broschiert Programmieren (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoretische Informatik, Exception; Mixin; nguages; complexity; C… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Programming Languages and Systems : 11th European Symposium on Programming, Esop 2002, Held As Part of the Joint European Conferences on Theory and Pr
Bestellen
bei BetterWorldBooks.com
€ 63,07
Bestellen
Details und Versand
gesponserter Link
Programming Languages and Systems : 11th European Symposium on Programming, Esop 2002, Held As Part of the Joint European Conferences on Theory and Pr - gebrauchtes Buch

2002, ISBN: 9783540433637

This book constitutes the refereed proceedings of the 11th European Symposium on Programming, ESOP 2002, held in Grenoble, France, in April 2002.The 21 revised full papers presented toget… Mehr…

used in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
5
Programming Languages and Systems
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages and Systems - Taschenbuch

2002, ISBN: 9783540433637

*Programming Languages and Systems* - 11th European Symposium on Programming ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2002 Grenobl… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (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:

9783540433637


This book constitutes the refereed proceedings of the 11th European Symposium on Programming, ESOP 2002, held in Grenoble, France, in April 2002.The 21 revised full papers presented together with an abstract of an invited paper were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on typing and modularity, programming paradigms, lambda calculus, program analysis applications, program analysis principles, and verification and analysis of distributed programs.

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783540433637
ISBN (ISBN-10): 3540433635
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
348 Seiten
Gewicht: 0,526 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-07-12T19:48:35+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-18T16:27:00+01:00 (Vienna)
ISBN/EAN: 9783540433637

ISBN - alternative Schreibweisen:
3-540-43363-5, 978-3-540-43363-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: grenobles
Titel des Buches: esop, grenoble, language practice, the programming language, european symposium, programming systems and languages

Daten vom Verlag:

Autor/in: Daniel Le Metayer
Titel: Lecture Notes in Computer Science; Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
Verlag: Springer; Springer Berlin
330 Seiten
Erscheinungsjahr: 2002-03-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 330 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Exception; Mixin; Programming languages; complexity; computer languages; formal languages; lambda calculus; language implementation; programming; programming language; programming language design; programming theory; semantics; specification; verification; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

Invited Paper.- Type Checking Systems Code.- Typing and Modularity.- Mixin Modules in a Call-by-Value Setting.- Existential Types for Imperative Languages.- Another Type System for In-Place Update.- Programming Paradigms.- Soft Concurrent Constraint Programming.- Programming Languages for Compressing Graphics.- An Accumulative Parallel Skeleton for All.- Higher-Order Intensional Type Analysis.- Lambda Calculus.- Branching Types.- Exceptions, Continuations and Macro-expressiveness.- A Theory of Second-Order Trees.- Program Analysis: Applications.- Tool Support for Improving Test Coverage.- Data Space Oriented Tiling.- Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.- Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.- Program Analysis: Principles.- A Modular, Extensible Proof Method for Small-Step Flow Analyses.- A Prototype Dependency Calculus.- Automatic Complexity Analysis.- Distributed Programs: Verification and Analysis.- Thread-Modular Verification for Shared-Memory Programs.- Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.- Finite-Control Mobile Ambients.- Dependency Analysis of Mobile Systems.
Includes supplementary material: sn.pub/extras

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

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

< zum Archiv...