- 5 Ergebnisse
Kleinster Preis: € 33,77, größter Preis: € 96,49, Mittelwert: € 62,37
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 2-6, 2001 Proceedings - David Sands
Bestellen
bei ZVAB.com
£ 78,67
(ca. € 88,50)
Versand: € 12,421
Bestellen
Details beim Anbieter
gesponserter Link
David Sands:

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

2001, ISBN: 3540418628

[EAN: 9783540418627], New book, [SC: 12.42], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; SOFTWARE-ENTW. SOFTWARE ENGINEERING; COMPUTERLANGUAGES; FORMALLANGU… Mehr…

NEW BOOK. Versandkosten: EUR 12.42 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (of 5)]
zuklappen (X)
2
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science) - Sands, David
Bestellen
bei Achtung-Buecher.de
€ 33,77
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Sands, David:

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 3540418628

Taschenbuch 452 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…

Versandkosten:No shipping costs within Germany. (EUR 0.00) getbooks GmbH, 65510 Idstein
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 2-6, 2001 Proceedings - Sands, David (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Sands, David (Herausgeber):
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 - neues Buch

2001

ISBN: 3540418628

2001 Kartoniert / Broschiert EDV / Theorie / Programmieren / Allgemeines, EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Software… 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
Bestellen
bei Hugendubel.de
€ 96,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages and Systems - Taschenbuch

2001, ISBN: 9783540418627

Programming Languages and Systems ab 96.49 € als Taschenbuch: 10th European Symposium on Programming ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Sof… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 39,84
(ca. € 37,50)
Versand: € 19,761
Bestellen
Details beim Anbieter
gesponserter Link
Editor-David Sands:
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science) - Taschenbuch

2001, ISBN: 9783540418627

Springer, 2001-04-27. Paperback. Used: Good., Springer, 2001-04-27, 2.5

Versandkosten: EUR 19.76 Ergodebooks
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:

9783540418627


This book constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001.The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions. Among the topics covered are various programming paradigms (including functional, logic, concurrent, and object-oriented programming) and their integration; development of correct, secure and efficient software and systems; and type systems, program analysis, and program transformation.

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783540418627
ISBN (ISBN-10): 3540418628
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin Heidelberg
452 Seiten
Gewicht: 0,678 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-01-04T17:32:38+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-19T17:12:34+02:00 (Vienna)
ISBN/EAN: 9783540418627

ISBN - alternative Schreibweisen:
3-540-41862-8, 978-3-540-41862-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: genova, david sands, 2000
Titel des Buches: esop, italy, held, the programming language, european symposium, software, the practice programming, theory, programming systems and languages, computer systems, symposium notes, science notes, 2001

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: 2001-03-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 438 p.

BC; Hardcover, Softcover / 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; 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

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