查看同类图书：科学技术»计算机/网络»计算机科学理论与基础知识»Foundations of software science and computation structures

Foundations of software science and computation structures

【作　者】：Furio Honsell 编

【丛编项】：无

【装帧项】：胶版纸 16开 / 413 pages

【出版项】：Springer出版社 / 2001-4-1

【ISBN号】：9783540418641 / 3540418644

【原书定价】：￥285.00　有4家书店打折销售　

【主题词】：计算机/网络－影印版

书籍介绍

购买本书

【图书简介】
　　The LNCS series reports state-of-the-art results in computer science research， development， and education， at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community， with numerous individuals， as well as with prestigious organizations and Societies， LNCS has grown into the most comprehensive computer science research forum available.The scope of LNCS， including its sub series LNAI， spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes- Proceedings（published in time for the respective conference） - Post-proceedings（consisting of thoroughly revised final full papers） -research monographs（which may be based on outstanding PhD work， research projects， technical reports， etc.）-读书网|DuShu.com

【本书目录】
Invited Paper
Adequacy for Algebraic Effects
Contributed Papers
Secrecy Types for Asymmetric Communication
Axiomatizing Tropical Semirings
Type Isomorphisms and Proof Reuse in Dependent Type Theory
On the Duality between Observability and Reachability
The Finite Graph Problem for Two-Way Alternating Automata
High-Level Petri Nets as Type Theories in the Join Calculus
Temporary Data in Shared Dataspace Coordination Languages
On Garbage and Program Loic
The Complexity of Model Checking Mobile Ambients
The Rho Cube
Type Inference with Recursive Type Equations
On the Modularity of Deciding Call-by-Need
Synchronized Tree Languages Revisited and New Applications
Computational Completeness of Programming Lang uages Based on Graph Transformation
Axions for Recursion in Call-by-Value(Extended Abstrace)
Class Analysis of Object-Oriented Programs throuhg Abstract Interpretation
On the Complexity of Parity Word Automata
Foundations for a Graph-Based Approach to the Specification of Access Control
Policies
Categories of Processes Enriched in Final Coalgebras
Model Checking CTL+and FCTL Is Hard
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewica
Trace Theory
Verified Bytecode Verifiers
Higher-Order Abstract Syntax with Induction in Isabelle/HOL:Formalizing the л-
Calculus and Mechanizing th Theory of Contexts
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes
An Axiomatic Semantics for the Synchronous Language Gentzen
Tool Presentation
MARRELLA and the Verification of an Embedded System
Author Indes

【购买本书】

购书指南»

商城名称	价格	配送信息	优惠活动	去看看	购买
卓越网	￥93.50	送货上门：国内308个城市邮寄：全球特快专递：全球海外航空快递	七周年店庆，全场免费配送	去看看	订购
当当网	￥~~0.00~~ 暂时缺货	当天加急送：北京五环以内送货上门：国内178个城市邮寄：全球特快专递：全球	特惠商品68折封顶	去看看	订购
当当网	￥242.30	当天加急送：北京五环以内送货上门：国内178个城市邮寄：全球特快专递：全球	特惠商品68折封顶	去看看	订购
当当网	￥294.76	当天加急送：北京五环以内送货上门：国内178个城市邮寄：全球特快专递：全球	特惠商品68折封顶	去看看	订购