Anmelden

Registrieren
Passwort vergessen?

Such-Historie
Merkliste
Links zu eurobuch.at
Cookie-Einstellungen

Tipp von eurobuch.at

Buch verkaufen

Suchtools

Aktuelles

NEU: Endlose Ergebnisliste als Mitglied ein- oder ausschalten.

Sie haben JavaScript in Ihren Browsereinstellungen deaktiviert!
Für eine optimale Bedienbarkeit der Buchsuche empfehlen wir, JavaScript für eurobuch.at zu aktivieren.
Um ein aktuelles Suchergebnis ohne JavaScript zu sehen, müssen Sie u.U. mehrmals auf "Suchen" klicken.

- 5 Ergebnisse

Kleinster Preis: € 30,87, größter Preis: € 55,60, Mittelwert: € 44,83

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - Sophia Drossopoulou

(*)

Sophia Drossopoulou:
Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - Taschenbuch

2008, ISBN: 3540787380

[EAN: 9783540787389], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); MICROSOFT SHAREPOINT (WEBSERVICES, PORTAL); WEB SERVICES BISIMULATION; XML; ALGORITHM; ALG… Mehr…

[EAN: 9783540787389], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); MICROSOFT SHAREPOINT (WEBSERVICES, PORTAL); WEB SERVICES BISIMULATION; XML; ALGORITHM; ALGORITHMS; COMPUTERLANGUAGES; DATASTRUCTURE; FORMALLANGUAGES; POLYMORPHISM; PROCESSALGEBRA; PROGRAMSEMANTICS; PROGRAMMINGCALCULI; PROGRAMMINGLANGUAGEDESIGN; PROGRAMMINGTHEORY; STATIC, Druck auf Anfrage Neuware - Printed after ordering - ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. 416 pp. Englisch, Books<

ZVAB.com

AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - Drossopoulou, Sophia (Herausgeber)

(*)

Drossopoulou, Sophia (Herausgeber):
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - neues Buch

2008, ISBN: 3540787380

2008 Kartoniert / Broschiert Programmieren (EDV), Microsoft SharePoint (WebServices, Portal), Web Services (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, T… Mehr…

Achtung-Buecher.de

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Programming Languages and Systems

(*)

Programming Languages and Systems - Taschenbuch

2008, ISBN: 9783540787389

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

Hugendubel.de

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Dale Michalk

(*)

Dale Michalk:
Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Taschenbuch

2008, ISBN: 3540787380

[EAN: 9783540787389], Neubuch, [PU: Springer], Brand New Book., Books

AbeBooks.de

Greenpine Books, GREENWOOD VILLAGE, CO, U.S.A. [63065702] [Rating: 5 (von 5)]
NEW BOOK. Versandkosten: EUR 56.94
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Dale Michalk

(*)

Dale Michalk:
Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Taschenbuch

2008, ISBN: 3540787380

[EAN: 9783540787389], [PU: Springer], Used Book, Books

AbeBooks.de

Goldbridge Trading, Greenwood Village, CO, U.S.A. [56573230] [Rating: 5 (von 5)]
Versandkosten: EUR 56.94
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

1

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - Sophia Drossopoulou

Bestellen
bei ZVAB.com

€ 52,96

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Sophia Drossopoulou:

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - Taschenbuch

2008, ISBN: 3540787380

[EAN: 9783540787389], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); MICROSOFT SHAREPOINT (WEBSERVICES, PORTAL); WEB SERVICES BISIMULATION; XML; ALGORITHM; ALG… Mehr…

[EAN: 9783540787389], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV); MICROSOFT SHAREPOINT (WEBSERVICES, PORTAL); WEB SERVICES BISIMULATION; XML; ALGORITHM; ALGORITHMS; COMPUTERLANGUAGES; DATASTRUCTURE; FORMALLANGUAGES; POLYMORPHISM; PROCESSALGEBRA; PROGRAMSEMANTICS; PROGRAMMINGCALCULI; PROGRAMMINGLANGUAGEDESIGN; PROGRAMMINGTHEORY; STATIC, Druck auf Anfrage Neuware - Printed after ordering - ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. 416 pp. Englisch, Books<

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Infos zur Preistendenz

2

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - Drossopoulou, Sophia (Herausgeber)

Bestellen
bei Achtung-Buecher.de

€ 55,60

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Drossopoulou, Sophia (Herausgeber):

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings - neues Buch

2008, ISBN: 3540787380

2008 Kartoniert / Broschiert Programmieren (EDV), Microsoft SharePoint (WebServices, Portal), Web Services (EDV), Computerprogrammierung und Softwareentwicklung, Software Engineering, T… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

Infos zur Preistendenz

3

Programming Languages and Systems

Bestellen
bei Hugendubel.de

€ 53,49

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Programming Languages and Systems - Taschenbuch

2008

ISBN: 9783540787389

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

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)

Infos zur Preistendenz

4

Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Dale Michalk

Bestellen
bei AbeBooks.de

€ 30,87

Versand: € 56,94¹

Details beim Anbieter

gesponserter Link

Dale Michalk:
Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Taschenbuch

2008, ISBN: 3540787380

[EAN: 9783540787389], Neubuch, [PU: Springer], Brand New Book., Books

NEW BOOK. Versandkosten: EUR 56.94 Greenpine Books, GREENWOOD VILLAGE, CO, U.S.A. [63065702] [Rating: 5 (von 5)]

Infos zur Preistendenz

5

Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Dale Michalk

Bestellen
bei AbeBooks.de

€ 31,25

Versand: € 56,94¹

Details beim Anbieter

gesponserter Link

Dale Michalk:
Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and . Computer Science and General Issues) - Taschenbuch

2008, ISBN: 3540787380

[EAN: 9783540787389], [PU: Springer], Used Book, Books

Versandkosten: EUR 56.94 Goldbridge Trading, Greenwood Village, CO, U.S.A. [56573230] [Rating: 5 (von 5)]

Infos zur Preistendenz

¹Da 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:	Drossopoulou, Sophia [Editor]
Titel:	Programming Languages and Systems
ISBN-Nummer:	9783540787389

This book constitutes the refereed proceedings of the 17th European Symposium on Programming, ESOP 2008, held in Budapest, Hungary, in March/April 2008, as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 25 revised full papers presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis, security, concurrency and program verification.

Detailangaben zum Buch - Programming Languages and Systems

EAN (ISBN-13): 9783540787389
ISBN (ISBN-10): 3540787380
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
397 Seiten
Gewicht: 0,627 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-03-15T06:54:58+01:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-18T16:26:40+01:00 (Vienna)
ISBN/EAN: 9783540787389

ISBN - alternative Schreibweisen:
3-540-78738-0, 978-3-540-78738-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sophia, michalk
Titel des Buches: esop, systems theory, march held, the programming language, general system theory, software, the european, april, european symposium, greetings from old budapest, hungary, the practice programming, programming systems and languages

Daten vom Verlag:

Autor/in: Sophia Drossopoulou
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Programming Languages and Systems - 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
Verlag: Springer; Springer Berlin
402 Seiten
Erscheinungsjahr: 2008-03-18
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 402 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Bisimulation; XML; algorithm; algorithms; computer languages; data structure; formal languages; polymorphism; process algebra; program semantics; programming; programming calculi; programming language design; programming theory; static; 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

Semantics, Parametricity, and Types.- A Sound Semantics for OCaml light .- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.- Regular Expression Subtyping for XML Query and Update Languages.- Semantics.- A Theory of Hygienic Macros.- A Hybrid Denotational Semantics for Hybrid Systems.- Full Abstraction for Linda.- Practical Programming with Higher-Order Encodings and Dependent Types.- Functional and Logic Programming.- Programming in JoCaml (Tool Demonstration).- Playing with : Constraints and Domain Cooperation.- Typing Safe Deallocation.- Iterative Specialisation of Horn Clauses.- ESOP Invited Talk.- Constructive Mathematics and Functional Programming (Abstract).- Static Analysis.- Ranking Abstractions.- Non-disjunctive Numerical Domain for Array Predicate Abstraction.- Upper Adjoints for Fast Inter-procedural Variable Equalities.- Cover Algorithms and Their Combination.- Security I.- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).- Linear Declassification.- Just Forget It – The Semantics and Enforcement of Information Erasure.- Concurrency.- Open Bisimulation for the Concurrent Constraint Pi-Calculus.- The Conversation Calculus: A Model of Service-Oriented Computation.- Inferring Channel Buffer Bounds Via Linear Programming.- ETAPS Invited Talk.- Verification of Higher-Order Computation: A Game-Semantic Approach.- Program Verification.- Verification of Equivalent-Results Methods.- Semi-persistent Data Structures.- A Realizability Model for Impredicative Hoare Type Theory.- Oracle Semantics for Concurrent Separation Logic.- Security II.- Certificate Translation in Abstract Interpretation.- A Formal Implementation of Value Commitment.

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

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

Programming Systems and Languages (Rosen, S. (ed))

Preisentwicklung...

< zum Archiv...