Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - Taschenbuch
2012, ISBN: 3642288685
[EAN: 9783642288685], Used, very good, [SC: 7.9], [PU: Springer Berlin], LOCAL REASONING,MODULARITY,HIGHER-ORDER PROGRAMMING,SEPARATION LOGIC,SPECIFICATION THEORY,, Buchschnitt verkürzt -… Mehr…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (of 5)] NOT NEW BOOK. Versandkosten: EUR 7.90 Details... |
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - gebrauchtes Buch
2012, ISBN: 9783642288685
[PU: Springer Berlin], Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13, DE, [SC: 0.00], gebraucht; gut, gewerbliches Angebot, 2012, Banküberweisung, Kredi… Mehr…
booklooker.de |
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012 - gebrauchtes Buch
2012, ISBN: 9783642288685
2012 Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13 Versandkostenfreie Lieferung local reasoning,modularity,higher-order programming,separation logic,spe… Mehr…
buchfreund.de |
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - gebrauchtes Buch
2012, ISBN: 9783642288685
[PU: Springer Berlin], Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13, DE, [SC: 0.00], gebraucht; gut, gewerbliches Angebot, 2012, PayPal, Klarna-Sofortü… Mehr…
booklooker.de |
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - gebrauchtes Buch
2012, ISBN: 9783642288685
[PU: Springer Berlin], Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13, DE, [SC: 0.00], gebraucht; gut, gewerbliches Angebot, 2012, PayPal, Klarna-Sofortü… Mehr…
booklooker.de |
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - Taschenbuch
2012, ISBN: 3642288685
[EAN: 9783642288685], Used, very good, [SC: 7.9], [PU: Springer Berlin], LOCAL REASONING,MODULARITY,HIGHER-ORDER PROGRAMMING,SEPARATION LOGIC,SPECIFICATION THEORY,, Buchschnitt verkürzt -… Mehr…
Seidl, Helmut:
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - gebrauchtes Buch2012, ISBN: 9783642288685
[PU: Springer Berlin], Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13, DE, [SC: 0.00], gebraucht; gut, gewerbliches Angebot, 2012, Banküberweisung, Kredi… Mehr…
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012 - gebrauchtes Buch
2012
ISBN: 9783642288685
2012 Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13 Versandkostenfreie Lieferung local reasoning,modularity,higher-order programming,separation logic,spe… Mehr…
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - gebrauchtes Buch
2012, ISBN: 9783642288685
[PU: Springer Berlin], Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13, DE, [SC: 0.00], gebraucht; gut, gewerbliches Angebot, 2012, PayPal, Klarna-Sofortü… Mehr…
Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - gebrauchtes Buch
2012, ISBN: 9783642288685
[PU: Springer Berlin], Buchschnitt verkürzt - Gebrauchs- und Lagerspuren - Ausgabejahr 2012 12121737/13, DE, [SC: 0.00], gebraucht; gut, gewerbliches Angebot, 2012, PayPal, Klarna-Sofortü… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Programming Languages and Systems
EAN (ISBN-13): 9783642288685
ISBN (ISBN-10): 3642288685
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin
602 Seiten
Gewicht: 0,907 kg
Sprache: Englisch
Buch in der Datenbank seit 2008-11-30T00:08:58+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-25T21:41:52+01:00 (Vienna)
ISBN/EAN: 9783642288685
ISBN - alternative Schreibweisen:
3-642-28868-5, 978-3-642-28868-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: helmut seidl
Titel des Buches: the theory languages, esop, about estonia, programming language, tallinn, european symposium, software, the practice programming, programm system, book programming, seidl, programming systems and languages, lecture notes computer science
Daten vom Verlag:
Autor/in: Helmut Seidl
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Verlag: Springer; Springer Berlin
602 Seiten
Erscheinungsjahr: 2012-03-14
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XV, 602 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; higher-order programming; local reasoning; modularity; separation logic; specification theory; Software Engineering; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Programming Techniques; Compilers and Interpreters; Formal Languages and Automata Theory; Netzwerk-Hardware; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012.
The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
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...