设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
Equivalence of the
G
ries and Martin proof rules for procedure calls
详细信息
查看全文
ContentType:Journal Article
DOI:10.1007/BF00267863
Publisher:
Sprin
g
er Berlin / Heidelber
g
Author :
A. Bijlsma
;
J.
G
. Wiltink
;
P. A.
Matthews
PrintIssn_Isbn:0001-5903
OnlineIssn_Isbn:1432-0525
SubjectCategory:
Computer Science
OldestVolume:Volume 1
OldestIssue:1
NewestVolume:Volume 49
NewestIssue:6
SeriesParentPublication:Acta Informatica
Volume:Volume 23
Issue:4
Pages:=357-360
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.