没有合适的资源?快使用搜索试试~ 我知道了~
资源推荐
资源详情
资源评论
CAFE:
An Industrial-Strength
Algebraic Formal Method
This Page Intentionally Left Blank
CAFE:
An Industrial-Strength
Algebraic Formal Method
Edited by
K. Futatsugi
Japan Advanced Institute for
Science
and
Teclinology,
Tatsunol<uchi,
Japan
AT.
Nakagawa
Software Researcti Associates Inc.,
Tokyo,
Japan
T. Tamai
University of
Tokyo,
Tokyo, Japan
2000
ELSEVIER
Amsterdam - Lausanne - New York - Oxford - Shannon - Singapore - Tokyo
ELSEVIER SCIENCE B.V.
Sara Burgerhartstraat 25
P.O.
Box 211, 1000 AE Amsterdam, The Netherlands
© 2000 Elsevier Science B.V. All rights reserved.
This work is protected under copyright by Elsevier Science, and the following terms and conditions apply to its
use:
Photocopying:
Single photocopies
of
single chapters may be made
for
personal use as allowed by national copyright laws. Permission
of
the Publisher
and payment
of a fee is
required
for
all other photocopying, including multiple
or
systematic copying, copying for advertising
or
promotional purposes, resale, and all forms
of
document delivery. Special rates are available
for
educational institutions that wish
to
make
photocopies
for
non-profit educational classroom use.
Permissions may
be
sought directly from Elsevier Science Global Rights Department, PO Box 800, Oxford 0X5 IDX, UK; phone: (+44)
1865 843830, fax: (+44) 1865 853333, e-mail: permissions@elsevier.co.uk. You may also contact Global Rights directly through
Elsevier's home page (http://www.elsevier.nl), by selecting 'Obtaining Permissions'.
In
the
USA, users may clear permissions and make payments through the Copyright Clearance Center, Inc., 222 Rosewood Drive,
Danvers, MA 01923, USA; phone: (978) 7508400, fax: (978) 7504744, and
in
the UK through the Copyright Licensing Agency Rapid
Clearance Service (CLARCS), 90 Tottenham Court Road, London WIP OLP, UK; phone: (+44) 207 631 5555; fax: (+44) 207 631 5500.
Other countries may have
a
local reprographic rights agency
for
payments.
Derivative Works:
Tables
of
contents may be reproduced
for
internal circulation, but permission
of
Elsevier Science
is
required
for
external resale
or
distribution
of
such material. Permission
of
the Publisher
is
required
for
all other derivative works, including compilations and
translations.
Electronic Storage
or
Usage:
Permission
of
the Publisher
is
required
to
store or use electronically any material contained
in
this work, including any chapter
or
pait
of
a
chapter.
Except as outlined above, no part
of
this work may be reproduced, stored
in a
reuieval system or transmitted
in
any form
or
by any
means, electronic, mechanical, photocopying, recording
or
otherwise, without prior written permission
of
the Publisher.
Address permissions requests to: Elsevier Science Global Rights Department,
at
the mail,
fax
and
e-mail
addresses noted above.
Notice:
No responsibility
is
assumed by the Publisher
for
any injury and/or damage to persons or property
as a
matter
of
products liability,
negligence
or
otherwise,
or
from any use
or
operation
of
any methods, products, instructions
or
ideas contained
in
the material herein.
Because
of
rapid advances
in
the medical sciences,
in
particular, independent verification
of
diagnoses and drug dosages should be made.
First edition 2000
Library of Congress Cataloging-in-Publication Data
A catalog record from the Library of Congress has been applied for.
ISBN: 0-444-50556-3
© The paper used in this publication meets the requirements of ANSI/NISO Z39.48-1992 (Permanence of
Paper).
Printed in The Netherlands
剩余208页未读,继续阅读
资源评论
u011168556
- 粉丝: 0
- 资源: 21
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功