Автор: 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.
Автор: Jorgensen Название: Software Testing ISBN: 1466560681 ISBN-13(EAN): 9781466560680 Издательство: Taylor&Francis Рейтинг: Цена: 15310.00 р. Наличие на складе: Поставка под заказ.
Описание: This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.? The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.
Автор: Tadeo Ichikawa; Erland Jungert; Robert R. Korfhage Название: Visual Languages and Applications ISBN: 1461278716 ISBN-13(EAN): 9781461278719 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: I THEORY Fundamental to the concept of visual languages is the convIctIOn that diagrams and other visual representations can aid understanding and communication of ideas.
Автор: Kang Zhang Название: Visual Languages and Applications ISBN: 1441940030 ISBN-13(EAN): 9781441940032 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Visual languages have long been lit pursuitofeffective communication 00- tween human and machine. Today, they are suecessfully employed for e: nd user progmmming, modeliog, rapid prototypmg, and design activities by people ofmany disciplines including arehitects, artists, children, engi neers, and scientists. Furthermore. with rapid advances ofthe Internet and Web technology, human human communication through the Web or eleo- tronie mobile deviees is becoming more and moreprevalent This manuscript provides a comprehensive introduetion to diagmmmatiooI visual programming languages and the technologyofautomatie genemtion ofsnch languages. It covers a broad rangeofcontents from the underlying theoryofgraph grammars to the applications in various domains. Thecon tents were ex: l: l: aeted from the papers that my Ph. D. students and I have published in the last 10 years. and are updated and organized in a coherent fashion. The manuseript gives an in. -depth treatmentof all the topic areas. Pointers to related work and further readings are also faeilitated at the end ofeverychapterexeeptChapter 9. Rather than describing how to program visually, the manuscript discusses what are visual programming languages, and how sooh languages and their underlying foundations can be usefully applied to other fields incomputer science that need graphs as the p: rimary meansofrepresentation. Assuming the basic knowledge of computer programming and compiler co: nstruetion, the manuscript can be used as a textbook for senior orgradu ate computer science classes on visual languages, or a reference book for programming language classes, practitioners, and researchers inthe related field. The manuscript cannot be completed without the helps of many people.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Asia and the Americas ISBN: 0521684943 ISBN-13(EAN): 9780521684941 Издательство: Cambridge Academ Рейтинг: Цена: 7445.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the ancient languages of Asia and the Americas, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Описание: Original ver- sions of five articles, respectively, by Barthel, Grimes, Longacre, Mayers, and Suarez, were first published in Part II of Current Trends in Linguistics, Vol. Linguistics in North America (1973) and the two by Kaufman and Rensch were in Part I I of Vol.
Автор: Chiara Bodei; Gianluigi Ferrari; Corrado Priami Название: Programming Languages with Applications to Biology and Security ISBN: 3319255266 ISBN-13(EAN): 9783319255262 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Pierpaolo Degano.- Pierpaolo, a great friend.- Distributed Authorization with Distributed Grammars.- Causal Trees, fi nally.- Limited Disclosure and Locality in Graphs.- Hoare Logic for Disjunctive Information Flow.- Alice and Bob: Reconciling Formal Models and Implementation.- Asynchronous Traces and Open Petri Nets.- Compliance in Behavioural Contracts: A Brief Survey.- Safe Adaptation Through Implicit Effect Coercion.- Validation of Decentralised Smart Contracts through Game Theory and Formal Methods.- Static Evidences for Attack Reconstruction.- A Declarative View of Signaling Pathways.- Securing Android with Local Policies.- Global Protocol Implementations via Attribute-Based Communication.- Symbolic Protocol Analysis with Disequality Constraints modulo Equational Theories.- Language Representability of Finite P/T Nets.- Soulmate Algorithms.- Active Knowledge, LuNA and Literacy for Oncoming Centuries.- There Are Two Sides to Every Question: Controller vs Attacker.- From Safety Critical Java Programs to Timed Process Models.- When to Move to Transfer Nets.- L: An Imperative DSL to Stochastically Simulate Biological Systems.
Автор: Marco Gavanelli; John Reppy Название: Practical Aspects of Declarative Languages ISBN: 3319282271 ISBN-13(EAN): 9783319282275 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the18th International Symposium on Practical Aspects of Declarative Languages,PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewedand selected from 17 initial submissions for inclusion in the book.
Автор: Xipeng Shen; Frank Mueller; James Tuck Название: Languages and Compilers for Parallel Computing ISBN: 3319297775 ISBN-13(EAN): 9783319297774 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015. The19 revised full papers were carefully reviewed and selected from 44 submissions.
Автор: Jos?-Luis Sierra-Rodr?guez; Jos?-Paulo Leal; Alber Название: Languages, Applications and Technologies ISBN: 3319276522 ISBN-13(EAN): 9783319276526 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This bookconstitutes the refereed proceedings of the 4th International Symposium onLanguages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, inJune 2015.The 17 revised full papers presented werecarefully reviewed and selected from 57 submissions. The papers are organizedin topical sections on human-human languages;
Автор: Alberto Pardo; S. Doaitse Swierstra Название: Programming Languages ISBN: 3319240110 ISBN-13(EAN): 9783319240114 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
Автор: Benoit Combemale; Betty H.C. Cheng; Robert B. Fran Название: Globalizing Domain-Specific Languages ISBN: 3319261711 ISBN-13(EAN): 9783319261713 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
