Автор: G. Ramalingam Название: Programming Languages and Systems ISBN: 3540893296 ISBN-13(EAN): 9783540893295 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. This book covers topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and software security.
Автор: Andrew Gordon Название: Programming Languages and Systems ISBN: 3642119565 ISBN-13(EAN): 9783642119569 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Автор: Atsushi Igarashi Название: Programming Languages and Systems ISBN: 3319479571 ISBN-13(EAN): 9783319479576 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi;
Автор: Leach Название: Introduction to Software Engineering, Second Edition ISBN: 1498705278 ISBN-13(EAN): 9781498705271 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Practical Guidance on the Efficient Development of High-Quality Software
Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying careers as software engineers regardless of future changes in the field, even if the changes are unpredictable or disruptive in nature. Retaining the same organization as its predecessor, this second edition adds considerable material on open source and agile development models.
The text helps students understand software development techniques and processes at a reasonably sophisticated level. Students acquire practical experience through team software projects. Throughout much of the book, a relatively large project is used to teach about the requirements, design, and coding of software. In addition, a continuing case study of an agile software development project offers a complete picture of how a successful agile project can work.
The book covers each major phase of the software development life cycle, from developing software requirements to software maintenance. It also discusses project management and explains how to read software engineering literature. Three appendices describe software patents, command-line arguments, and flowcharts.
Автор: Giuseppe Castagna Название: Programming Languages and Systems ISBN: 3642005896 ISBN-13(EAN): 9783642005893 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
Автор: Hongseok Yang Название: Programming Languages and Systems ISBN: 3662544334 ISBN-13(EAN): 9783662544334 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions.
Автор: Zhong Shao Название: Programming Languages and Systems ISBN: 3642548326 ISBN-13(EAN): 9783642548321 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The contributions are organized in topical sections named: type systems;
Автор: Jacques Garrigue Название: Programming Languages and Systems ISBN: 3319127357 ISBN-13(EAN): 9783319127354 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues.
Автор: Peter Thiemann Название: Programming Languages and Systems ISBN: 3662494973 ISBN-13(EAN): 9783662494974 Издательство: Springer Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Simulating Cities: A Software Engineering Perspective.- Regular Programming for Quantitative Properties of Data Streams.- Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach.- Practical Optional Types for Clojure.- A Timed Process Algebra for Wireless Networks with an Application in Routing.- Computing with semirings and weak rig groupoids.- On Hierarchical Communication Topologies in the pi-calculus.- Modular Termination Verification for Non-blocking Concurrency.- Call-by-Push-Value from a Linear Logic point of view.- Visible Type Application.- Automatically Splitting a Two-Stage Lambda Calculus.- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate.- An application of computable distributions to the semantics of probabilistic programming languages.- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.- Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations.- Needle & Knot: Binder boilerplate tied up.- On the Relative Expressiveness of Higher-Order Session Processes.- A Realizability Model for a Semantical Value Restriction.- Probabilistic functions and cryptographic oracles in higher order logic.- Extensible and Efficient Automation through Reflective Tactics.- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.- Functional Big-step Semantics.- Classical by-need.- Macrofication: Refactoring by Reverse Macro Expansion.- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules.- Actor Services: Modular Verification of Message Passing Programs.- Transfinite Step-indexing: Decoupling Concrete and Logical Steps.- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.- The Expressive Power of Monotonic Parallel Composition.
Автор: Donald Sannella Название: Programming Languages and Systems - ESOP `94 ISBN: 3540578803 ISBN-13(EAN): 9783540578802 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of a conference which was devoted to fundamental issues in the specification, design and implementation of programming systems and languages. Topics discussed include software analysis, language concepts, programming paradigms, software design and much more.
Автор: Ranjit Jhala; Atsushi Igarashi Название: Programming Languages and Systems ISBN: 3642351816 ISBN-13(EAN): 9783642351815 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
