【预订】Programming Languages and Systems 9783540297352 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540297352 Author 作者 Yi Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-10-21 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005. This title covers topics such as, semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, and more.
¥608.00
【预订】Programming Languages and Systems 9783540787389 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540787389 Author 作者 Sophia Drossopoulou Format 版本 平装-胶订 Pages Number 页数 402页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-03-18 Shipping Weight 商品重量 635g Language 语种 英语 Book Contents 内容简介 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 comprisedve 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
¥608.00
【预订】Programming Languages and Systems 9783030644369 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030644369 Format 版本 平装-胶订 Pages Number 页数 374页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-11-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1210g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic.
¥608.00
【预订】Programming Languages and Systems 9783030027674 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030027674 Author 作者 Ryu Format 版本 平装-胶订 Pages Number 页数 437页 Publication Date 出版日期 2018-10-22 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
¥608.00
【预订】Programming Languages 9781441946362 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441946362 Author 作者 Lee Format 版本 平装-胶订 Pages Number 页数 282页 Publication Date 出版日期 2010-11-05 Shipping Weight 商品重量 456g Language 语种 英语 Book Contents 内容简介 Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. This interactive textbook is intended to be used in and outside of class. Each chapter follows a pattern of presenting a topic followed by a practice exercise or exercises that encourage students to try what they have just read. This textbook is best-suited for students with a 2-3 course introduction to imperative programming. Key Features: (1) Accessible structure guides the student through various programming languages. (2) Seamlessly integrated prac
¥1058
【预订】Programming Languages and Systems: 27th European Symposi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013269899 Author 作者 Amal Ahmed(Created by) Format 版本 精装 Pages Number 页数 1056页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 2.13 Shipping Weight 商品重量 5.94 Language 语种 其它（含多语）
¥2855
【预订】Programming Languages and Systems: 18th European 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783319898834 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319898834 Author 作者 Ahmed Format 版本 平装-胶订 Pages Number 页数 1058页 Publication Date 出版日期 2018-04-15 Language 语种 英语 Book Contents 内容简介 Thisbook is Open Access under a CC BY licence.This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.
¥608.00
【预订】Programming Languages and Systems in Computational 美国库房发货，通常付款后3-5周到货！
¥1825
【预订】Programming Languages and Systems 9783540213130 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540213130 Author 作者 Schmidt Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-03-18 Language 语种 英语 Book Contents 内容简介 This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to explaining fundamental issues in the specication, analysis, and implementation of programming languages and systems. The volume begins with a summary of an invited contribution by Peter O’Hearn,titledResources,ConcurrencyandLocalReasoning,andcontinueswith the 27 papers selected by the Program Committee from 118 submissions. Each submission was reviewed by at least thre
¥1582
【预订】Programming Languages for MIS: Concepts and Practice 美国库房发货，通常付款后3-5周到货！
¥1130
【预订】Programming Languages and Systems 9783642197178 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642197178 Author 作者 Barthe Format 版本 平装-胶订 Publication Date 出版日期 2011-03-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper 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.
¥608.00
【预订】Programming Languages and Systems 9783540330950 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540330950 Author 作者 Sestoft Format 版本 平装-胶订 Pages Number 页数 342页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-03-16 Language 语种 英语 Book Contents 内容简介 ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory 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 year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance
¥608.00
【预售按需印刷】Programming Languages and Systems
¥769.25
【预订】Programming Languages and Systems 9783540205364 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540205364 Author 作者 Ohori Format 版本 平装-胶订 Pages Number 页数 434页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-11-12 Language 语种 英语 Book Contents 内容简介 With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues wh
¥608.00
【预订】Programming Languages and Systems: 15th Asian Symposium, 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319712369 Author 作者 Chang, Bor-Yuh Evan Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-11-19 Language 语种 英语
¥608.00
【预订】Programming Languages and Systems: 17th Asian Symposium, 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030341749 Author 作者 Lin Format 版本 平装-胶订 Pages Number 页数 492页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-11-09 Product Dimensions 商品尺寸 9.2 x 6.1 x 1 cm Shipping Weight 商品重量 1550g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
¥608.00
【预订】Programming Languages: Concepts And Implementation 97812 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781284222722 Author 作者 Perugini? Format 版本 平装-胶订 Pages Number 页数 840页 Publisher 出版社 Jones & Bartlett Learning Publication Date 出版日期 2021-11-01 Language 语种 其它（含多语） Book Contents 内容简介 Programming Languages: Concepts and Implementation teaches language concepts from two complementary perspectives: implementation and paradigms. It covers the implementation of concepts through the incremental construction of a progressive series of interpreters in Python, and Racket Scheme, for purposes of its combined simplicity and power, and assessing the differences in the resulting languages. 1. Hands-on, implementation-oriented approach. 2. Numerous conceptual and programming exercises. 3. Interpreter-based projects in Python and Racket Scheme. 4. All interpreter code (and solutions) in Python (and Racket) are provided as a Git repository in Bit
¥1334
【预订】Programming Languages: 16th Brazilian Symposium 美国库房发货，通常付款后3-5周到货！
¥560.00
【预订】Programming Languages and Systems: 11th European 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783540418627 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540418627 Author 作者 Sands Format 版本 平装-胶订 Pages Number 页数 438页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-03-21 Language 语种 英语 Book Contents 内容简介 ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory 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 year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these -
¥608.00
【预订】Programming Languages and Systems 9783540254355 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540254355 Author 作者 Sagiv Format 版本 平装-胶订 Pages Number 页数 442页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-03-23 Language 语种 英语 Book Contents 内容简介 ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations t
¥608.00
【预订】Programming Languages and Systems 9783319127354 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems: 19th European 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Programming Languages and Systems: 27th European Symposi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013269882 Author 作者 Amal Ahmed(Created by) Format 版本 平装-胶订 Pages Number 页数 1056页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 2.07 Shipping Weight 商品重量 5.27 Language 语种 其它（含多语）
¥2709
【预订】Programming Languages and their Definition 9783540133780 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540133780 Author 作者 Jones Format 版本 平装-胶订 Pages Number 页数 254页 Publication Date 出版日期 1984-08-01 Language 语种 英语
¥608.00
【预订】Programming Languages with Applications to Biology and S 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319255262 Author 作者 Bodei Format 版本 平装-胶订 Pages Number 页数 375页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2015-11-20 Shipping Weight 商品重量 593g Language 语种 英语 Book Contents 内容简介 This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpao
¥608.00
【预订】Programming Languages and Systems 9783319479576 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783540713142 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540713142 Author 作者 Rocco De Nicola Format 版本 平装-胶订 Pages Number 页数 542页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-03-08 Language 语种 英语 Book Contents 内容简介 It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
¥1217
【预订】Programming Languages; 21st Century Milestones 美国库房发货，通常付款后3-5周到货！
¥867.00
【预售 按需印刷】Programming Languages and Systems
¥671.50
【预订】Programming Languages: Principles and Practices 97816324 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781632409058 Format 版本 平装-胶订 Publisher 出版社 Wiley Publication Date 出版日期 1800-01-01 Language 语种 英语
¥1751
【预订】Programming Languages and Systems 9783319035413 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Operational Semantics: A Conci 美国库房发货，通常付款后3-5周到货！
¥486.00
【预订】Programming Languages and Systems 9783642288685 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642288685 Author 作者 Seidl Format 版本 平装-胶订 Pages Number 页数 602页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-03-14 Shipping Weight 商品重量 937g Language 语种 英语 Book Contents 内容简介 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.
¥608.00
【预订】Programming Languages 9783319452784 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783030449131 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030449131 Author 作者 Müller Format 版本 平装-胶订 Pages Number 页数 772页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-18 Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 29thEuropean Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
¥486.00
【预订】Programming Languages 9783642409219 美国库房发货，通常付款后3-5周到货！
¥560.00
【预订】Programming Languages and Systems 9783030993351 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030993351 Author 作者 Ilya Sergey Format 版本 平装-胶订 Pages Number 页数 14页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-04-15 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.25 Shipping Weight 商品重量 1.89 Language 语种 其它（含多语） Book Contents 内容简介 This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
¥486.00
【预订】Programming Languages: Principles and Paradigms 97818488 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781848829138 Author 作者 Maurizio Gabbrielli Università di Bologna Dipto. Scienze de Format 版本 平装-胶订 Pages Number 页数 440页 Publisher 出版社 Springer London Publication Date 出版日期 2010-04-15 Shipping Weight 商品重量 1420g Language 语种 英语 Book Contents 内容简介 This excellent addition to the UTiCS series of undergraduate textbooks provides a detailed and up to date deion of the main principles behind the design and implementation of modern programming languages.Rather than focusing on a specific language, the book identifies the most important principles shared by large classes of languages. To complete this general approach, detailed deions of the main programming paradigms, namely imperative, object-oriented, functional and logic are given, analysed in depth and compared. This provides the basis for a critical understanding of most of the
¥425.00
【预订】Programming Languages and Operational Semantics: An 美国库房发货，通常付款后3-5周到货！
¥261.00
【预订】Programming Languages and Systems 9783662544334 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Programming Languages and Systems: 8th European 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9781013271243 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271243 Format 版本 平装-胶订 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1900-01-01 Language 语种 其它（含多语）
¥2201
【预订】Programming Languages and Systems 9783030720186 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030720186 Format 版本 平装-胶订 Pages Number 页数 693页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.4 cm Shipping Weight 商品重量 2150g Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
¥486.00
【预订】Programming Languages and Systems: 32nd European Symposi 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031300431 Format 版本 平装-胶订 Pages Number 页数 566页 Publisher 出版社 Springer Publication Date 出版日期 2023-04-18 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.17 Shipping Weight 商品重量 1.77 Language 语种 其它（含多语）
¥486.00
【预订】Programming Languages: An Active Learning Approach 美国库房发货，通常付款后3-5周到货！
¥1058
【预订】Programming Languages: Implementations, Logics, and Prog 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540633983 Author 作者 Glaser Format 版本 平装-胶订 Pages Number 页数 428页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-08-13 Language 语种 英语 Book Contents 内容简介 This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP ’97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analy
¥608.00
【预订】Programming Languages and Systems 9783642370359 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783540008866 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540008866 Author 作者 Degano Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-03-14 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.
¥608.00
【预订】Programming Languages and Systems 9783540893295 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540893295 Author 作者 G. Ramalingam Format 版本 平装-胶订 Pages Number 页数 343页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-11-14 Shipping Weight 商品重量 545g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, int
¥608.00
【预售 按需印刷】Programming Languages and Systems
¥616.25
【预订】Programming Languages and Systems 9783540643029 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540643029 Author 作者 Hankin Format 版本 平装-胶订 Pages Number 页数 289页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-03-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP’98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
¥608.00
【预订】Programming Languages 9783319240114 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319240114 Author 作者 Pardo Format 版本 平装-胶订 Pages Number 页数 143页 Publication Date 出版日期 2015-11-15 Shipping Weight 商品重量 250g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.?The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.?
¥486.00
【预订】Programming Languages and Systems: 28th European Symposi 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030171834 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2019-04-06 Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
¥608.00
【预订】Programming Languages and Systems 9783642548321 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783662466681 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Programming Languages and Systems 9783540489375 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540489375 Author 作者 Kobayashi Format 版本 平装-胶订 Pages Number 页数 423页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-11-06 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions were received. Each submission was reviewed by at least three Program Committee members with the help of external reviewers. The ProgramCommittee meeting was conducted electronically over a 2-week period. After careful discussion, the Program C- mittee selected 22 papers. I would like to sincerely thank all the members of the APLAS 2006 Program Committee for their excellent
¥608.00
【预订】Programming Languages and Systems: 10th Asian Symposium, 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Programming Languages and Systems 9783540672623 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540672623 Author 作者 Smolka Format 版本 平装-胶订 Pages Number 页数 428页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-03-15 Language 语种 英语 Book Contents 内容简介 ETAPS 2000 was the third instance of the European Joint Conferences on Theory 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 year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within it
¥608.00
