- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 72,05, Mittelwert: € 62,15
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, A - James C. Alexander
Bestellen
bei hive.co.uk
£ 53,54
(ca. € 60,86)
Bestellen
Details und Versand
gesponserter Link
James C. Alexander:

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, A - neues Buch

2002, ISBN: 9783540459279

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software.ETAPS is an annual federated conference that was established in 1998 by combining a number of exi… Mehr…

No. 9783540459279. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
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, A - Sergio Rajsbaum
Bestellen
bei hive.co.uk
£ 53,54
(ca. € 62,28)
Bestellen
Details und Versand
gesponserter Link

Sergio Rajsbaum:

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, A - neues Buch

2002, ISBN: 9783540459279

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software.ETAPS is an annual federated conference that was established in 1998 by combining a number of exi… Mehr…

No. 9783540459279. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
3
Programming Languages and Systems
Bestellen
bei eBook.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages and Systems - neues Buch

2002

ISBN: 9783540459279

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 … Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 72,05
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Daniel Le Metayer:
Programming Languages and Systems - neues Buch

2003, ISBN: 9783540459279

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. Procee… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
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, A - Volker Neuhoff
Bestellen
bei hive.co.uk
£ 53,54
(ca. € 62,09)
Bestellen
Details und Versand
gesponserter Link
Volker Neuhoff:
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, A - neues Buch

2002, ISBN: 9783540459279

; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg

No. 9783540459279. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
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:

9783540459279

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783540459279
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-25T08:07:08+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-07-20T12:04:10+02:00 (Vienna)
ISBN/EAN: 9783540459279

ISBN - alternative Schreibweisen:
978-3-540-45927-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: programming systems and languages, esop

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: 2003-08-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 330 p.

EA; E107; eBook; Nonbooks, PBS / 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; C; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; BC

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...