Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - neues Buch
2003, ISBN: 3540008861
2003 Kartoniert / Broschiert Compiler, Übersetzer (EDV), Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Datenbanken, Theoretische Informatik,… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - neues Buch
2003, ISBN: 3540008861
2003 Kartoniert / Broschiert Compiler, Übersetzer (EDV), Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Datenbanken, Theoretische Informatik,… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:No shipping costs within Germany. (EUR 0.00) Details... |
2003, ISBN: 9783540008866
*Programming Languages and Systems* - 12th European Symposium on Programming ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2003 Warsaw … Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2003, ISBN: 9783540008866
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.  This book constitute… Mehr…
booklooker.de |
2003, ISBN: 9783540008866
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Wars… Mehr…
BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - neues Buch
2003, ISBN: 3540008861
2003 Kartoniert / Broschiert Compiler, Übersetzer (EDV), Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Datenbanken, Theoretische Informatik,… Mehr…
Degano, Pierpaolo (Herausgeber):
Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - neues Buch2003, ISBN: 3540008861
2003 Kartoniert / Broschiert Compiler, Übersetzer (EDV), Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Datenbanken, Theoretische Informatik,… Mehr…
2003
ISBN: 9783540008866
*Programming Languages and Systems* - 12th European Symposium on Programming ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2003 Warsaw … Mehr…
2003, ISBN: 9783540008866
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.  This book constitute… Mehr…
2003, ISBN: 9783540008866
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Wars… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Programming Languages and Systems
EAN (ISBN-13): 9783540008866
ISBN (ISBN-10): 3540008861
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
436 Seiten
Gewicht: 0,655 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-02-25T22:23:24+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-18T16:26:41+01:00 (Vienna)
ISBN/EAN: 9783540008866
ISBN - alternative Schreibweisen:
3-540-00886-1, 978-3-540-00886-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: art computer programming, esop, the programming language, european symposium, software, the practice programming, programming systems and languages
Daten vom Verlag:
Autor/in: Pierpaolo Degano
Titel: Lecture Notes in Computer Science; Programming Languages and Systems - 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Verlag: Springer; Springer Berlin
420 Seiten
Erscheinungsjahr: 2003-03-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
CDXXXVI, 420 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Isabelle; algorithms; data structures; formal languages; logic; model checking; modeling; programming; programming language design; programming languages; programming systems; programming theory; real-time; semantics; type theory; Software Engineering; Compilers and Interpreters; Programming Techniques; Data Science; Computer Science Logic and Foundations of Programming; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Datenbanken; Theoretische Informatik; EA
Invited Talks.- Computer Security from a Programming Language and Static Analysis Perspective.- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis.- Contributed Papers.- A Tail-Recursive Semantics for Stack Inspections.- Flexible Models for Dynamic Linking.- Correction of Functional Logic Programs.- Approximate Pruning in Tabled Logic Programming.- Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling.- Security Properties: Two Agents Are Sufficient.- A Simple Language for Real-Time Cryptographic Protocol Analysis.- Rule Formats for Non Interference.- On the Secure Implementation of Security Protocols.- Handling Encryption in an Analysis for Secure Information Flow.- Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.- Automatic Software Model Checking Using CLP.- Verifying Temporal Heap Properties Specified via Evolution Logic.- Correctness of Data Representations Involving Heap Data Structures.- Modeling Web Interactions.- Type Inference for a Distributed ?-Calculus.- Type-Safe Update Programming.- Type Error Slicing in Implicitly Typed Higher-Order Languages.- Core Formal Molecular Biology.- Requirements on the Execution of Kahn Process Networks.- Tagging, Encoding, and Jones Optimality.- The Rely-Guarantee Method in Isabelle/HOL.- Building Certified Libraries for PCC: Dynamic Storage Allocation.- Finite Differencing of Logical Formulas for Static Analysis.- Register Allocation by Proof Transformation.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)
- 9781013269882 Programming Languages and Systems (Amal Ahmed)
- 9781013269899 Programming Languages and Systems (Amal Ahmed)
- 9783319898834 Programming Languages and Systems (Amal Ahmed)
- 9783319898841 Programming Languages and Systems (Amal Ahmed)
- 9780070537088 Programming Systems and Languages. (Rosen, Saul, Comp)
< zum Archiv...