Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - Taschenbuch
2015, ISBN: 3319265288
[EAN: 9783319265285], Neubuch, [SC: 0.0], [PU: Springer International Publishing], PROGRAMMIERSPRACHEN; AUTOMATEDREASONING; CONCURRENCYANDPARALLELISM; DYNAMICANALYSIS; FUNCTIONALLANGUAGES… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2015, ISBN: 9783319265285
This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - neues Buch
2015, ISBN: 3319265288
1st ed. 2015 Kartoniert / Broschiert Programmiersprachen, Software Engineering, Theoretische Informatik, Automatedreasoning; Concurrencyandparallelism; DynamicAnalysis; functionallangua… 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: 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - Taschenbuch
2015, ISBN: 9783319265285
Springer-Verlag New York Inc, 2015. Paperback. New. 528 pages. 9.25x6.25x1.50 inches., Springer-Verlag New York Inc, 2015, 6
Biblio.co.uk |
2015, ISBN: 9783319265285
Springer , pp. 472 . Papeback. New., Springer, 6
Biblio.co.uk |
Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - Taschenbuch
2015, ISBN: 3319265288
[EAN: 9783319265285], Neubuch, [SC: 0.0], [PU: Springer International Publishing], PROGRAMMIERSPRACHEN; AUTOMATEDREASONING; CONCURRENCYANDPARALLELISM; DYNAMICANALYSIS; FUNCTIONALLANGUAGES… Mehr…
2015, ISBN: 9783319265285
This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24… Mehr…
Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - neues Buch
2015
ISBN: 3319265288
1st ed. 2015 Kartoniert / Broschiert Programmiersprachen, Software Engineering, Theoretische Informatik, Automatedreasoning; Concurrencyandparallelism; DynamicAnalysis; functionallangua… Mehr…
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings Xinyu Feng Edito
EAN (ISBN-13): 9783319265285
ISBN (ISBN-10): 3319265288
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing Core >1 >T
Buch in der Datenbank seit 2015-12-04T08:53:46+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-10-19T23:30:11+02:00 (Vienna)
ISBN/EAN: 9783319265285
ISBN - alternative Schreibweisen:
3-319-26528-8, 978-3-319-26528-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sung, feng
Titel des Buches: november, programm system, programming language, south korea, south asian languages, programming systems and languages, south asian lang, south asian languag
Daten vom Verlag:
Autor/in: Xinyu Feng; Sungwoo Park
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Verlag: Springer; Springer International Publishing
506 Seiten
Erscheinungsjahr: 2015-12-10
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIX, 506 p. 133 illus. in color.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Automated reasoning; Concurrency and parallelism; Dynamic analysis; Functional languages; Model checking; Abstract interpretation; Compilers; Constraints; Dynamic language; Hoare logic; Logic and verification; Object oriented languages; Operational semantics; Program analysis; Semantics; Separation logic; Software security; Static analysis; Type systems; Type theory; Compilers and Interpreters; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Theoretische Informatik; EA
Includes supplementary material: sn.pub/extrasWeitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030644369 Programming Languages and Systems (Bruno C. d. S. Oliveira)
- 9783030644369 Programming Languages and Systems (Bruno C. d. S. Oliveira)
- 9781013269882 Programming Languages and Systems (Amal Ahmed)
- 9781013269899 Programming Languages and Systems (Amal Ahmed)
- 9780070537088 Programming Systems and Languages. (Rosen, Saul, Comp)
- Programming Systems and Languages (Rosen, S. (ed))
< zum Archiv...