- 5 Ergebnisse
Kleinster Preis: € 74,89, größter Preis: € 96,04, Mittelwert: € 84,83
1
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April - David Kotz
Bestellen
bei hive.co.uk
£ 68,85
(ca. € 80,10)
Bestellen
Details und Versand
gesponserter Link
David Kotz:

Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April - neues Buch

2001, ISBN: 9783540453093

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software.ETAPS is an annual federated conference that was established in 1998 by combining a… Mehr…

No. 9783540453093. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
2
Programming Languages and Systems - David Sands
Bestellen
bei Springer.com
€ 74,89
Bestellen
Details und Versand
gesponserter Link

David Sands:

Programming Languages and Systems - neues Buch

2001, ISBN: 9783540453093

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April - Gerd Staehler
Bestellen
bei hive.co.uk
£ 68,85
(ca. € 79,84)
Bestellen
Details und Versand
gesponserter Link
Gerd Staehler:
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April - neues Buch

2001

ISBN: 9783540453093

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

No. 9783540453093. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 93,27
Versand: € 9,951
Bestellen
Details beim Anbieter
gesponserter Link
David Sands:
Programming Languages and Systems - neues Buch

2003, ISBN: 9783540453093

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings,… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 9.95)
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 96,04
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
David Sands:
Programming Languages and Systems - neues Buch

2003, ISBN: 9783540453093

10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings,… Mehr…

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (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:

9783540453093

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783540453093
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-25T08:33:26+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-07-05T14:34:01+02:00 (Vienna)
ISBN/EAN: 9783540453093

ISBN - alternative Schreibweisen:
978-3-540-45309-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: david sands, staehler
Titel des Buches: programming systems and languages, esop

Daten vom Verlag:

Autor/in: David Sands
Titel: Lecture Notes in Computer Science; Programming Languages and Systems - 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Verlag: Springer; Springer Berlin
438 Seiten
Erscheinungsjahr: 2003-06-29
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 438 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Computer Languages; Formal Languages; Language Implementation; Program Semantics; Programming Language Design; Programming Languages; Programming Systems; Programming Theory; Specification; logic; object-oriented programming; programming; programming language; 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

A Query Language Based on the Ambient Logic.- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.- A Systematic Approach to Static Access Control.- Secure Information Flow and CPS.- Enforcing Safety Properties Using Type Specialization.- Semantics and Program Analysis of Computationally Secure Information Flow.- Encoding Intensional Type Analysis.- Fusion on Languages.- Programming the Web with High-Level Programming Languages.- On the Completeness of Model Checking.- Modal Transition Systems: A Foundation for Three-Valued Program Analysis.- Entailment with Conditional Equality Constraints.- On the Complexity of Constant Propagation.- What Are Polymorphically-Typed Ambients?.- JOIN(X): Constraint-Based Type Inference for the Join-Calculus.- Modular Causality in a Synchronous Stream Language.- Control-Flow Analysis in Cubic Time.- The Recursive Record Semantics of Objects Revisited.- A Formalisation of Java’s Exception Mechanism.- A Formal Executable Semantics of the JavaCard Platform.- Modeling an Algebraic Stepper.- Typestate Checking of Machine Code.- Proof-Directed De-compilation of Low-Level Code.- Backwards Abstract Interpretation of Probabilistic Programs.- Tool Demonstration: Finding Duplicated Code Using Program Dependences.- Compiling Problem Specifications into SAT.- Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.- The Def-inite Approach to Dependency Analysis.
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...