最 低 价：￥671.20
| Programming Issues The Verifying Compiler: a Grand Challenge for Computing Research Linear Types for Cashflow Reengineering Storing Properties in Grouped Tagged Tuples A Polymorphic Radix-n Framework for Fast Fourier Transforms Intersecting Classes and Prototypes Software Engineering Bending without Breaking: Making Software More Flexible Program Construction in the Context of Evolutionary Computation A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development Software Education The Outside-In Method of Teaching Introductory Programming Program Synthesis, Transformation &: Semantics Numeric Types in Formal Synthesis On the Possibility of Provably Secure Obfuscating Programs Verification-Oriented Language Operational Semantics light and Its Structural Proofs-as-Imperative-Programs: Application to Synthesis of Contracts Graphical Interfaces On the Visualization and Aesthetics of Large Graphs Data Mappings in the Model-View-Controller Pattern Partial Evaluation &:Supercompilation The Translation Power of the Futamura Projections A Compiler Generator for Constraint Logic Programs The Supercompiler SCP4: General Structure Partial Evaluation for Common Intermediate Language Verification Timed Verification with CRT Verification of Distributed Dataspace Architectures Using SPIN and STeP to Verify Business Processes Specifications Integrating Tools for Automatic Program Verification Logic & Types A Logical Reconstruction of Reachability …… Concurrent & Distributed Systems Concurrent & Reactive Systems Program Specification Verification & Model Checking Graphical Interfaces Partial Evaluation & Supercompilation Verififcation Logic & Types Concurrent & Distributed Systems Concurrent & Reactive Systems Constrait Programming Doucmentation & Testing Databases Natural Language Processing Author Index |
内容加载中，请稍后...
商品评论（0条）