Language:
English
簡体中文
繁體中文
Help
圖書館個人資料蒐集告知聲明
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
International Refinement Workshop an...
~
Grundy, J. (1968-)
International Refinement Workshop and Formal Methods Pacif
Record Type:
Language materials, printed : monographic
其他作者:
GrundyJ., 1968-
其他作者:
SchwenkeM., 1967-
其他作者:
VickersTrevor, 1959-
團體作者:
International Refinement Workshop and Formal Methods Pacific 1998(1998
出版地:
Singapore
出版者:
Springer-Verlag;
出版年:
c1998
面頁冊數:
viii, [381] p.ill. : 24 cm.;
集叢名:
Springer series in discrete ma
标题:
Real-time programming - Congresses -
ISBN:
981-4021-16-4
International Refinement Workshop and Formal Methods Pacif
International Refinement Workshop and Formal Methods Pacific 1998
International Refinement Workshop and Formal Methods Pacif
= : / edited by J. Grundy, M. Schwenke, T. Vickers ; - Singapore : Springer-Verlag, c1998. - viii, [381] p. ; ill. ; 24 cm.. - (Springer series in discrete ma ; ).
Includes bibliographical references and index.
ISBN 981-4021-16-4
Real-time programming -- Congresses
Grundy, J.
International Refinement Workshop and Formal Methods Pacif
LDR
:00719cam2 2200205 050
001
45129
005
20100521112910.0
009
00083969
010
1
$a
981-4021-16-4
$b
pbk.
$d
DM59.00
100
$a
20100528d1998 u y0engy09 b
101
0
$a
eng
102
$b
si
105
$a
a a 001yy
200
1
$a
International Refinement Workshop and Formal Methods Pacif
$f
edited by J. Grundy, M. Schwenke, T. Vickers
$d
$e
$g
210
$a
Singapore
$c
Springer-Verlag
$d
c1998
215
1
$a
viii, [381] p.
$c
ill.
$d
24 cm.
225
2
$a
Springer series in discrete ma
$v
320
$a
Includes bibliographical references and index
410
0
$1
2001
$a
Springer series in discrete mathematics and theoretical computer science
606
$a
Real-time programming
$x
Congresses
$2
lc
$3
67208
676
$a
005.273
$b
I61
702
1
$a
Grundy
$b
J.
$f
1968-
$g
Jim
$3
67204
702
1
$a
Schwenke
$b
M.
$f
1967-
$g
Martin
$3
67205
702
1
$a
Vickers
$b
Trevor
$f
1959-
$3
67206
710
1 2
$a
International Refinement Workshop and Formal Methods Pacific 1998
$f
(1998
$e
Canberra, Australia)
$3
67207
801
0
$a
cw
$c
19990706
$g
AACRII
读者评论 0 笔
馆藏地:
ALL
B2密集書庫2
出版年:
卷号:
馆藏
[NT 5504026] 期刊年代月份卷期操作說明(Help)
1 笔 • 页数 1 •
1
条形码号
典藏地名称
馆藏流通类别
数据类型
索书号
使用类型
借阅状态
预约状态
Opac备注
附件
097248
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
005.273/I61
一般使用(Normal)
在架
0
B2密集二
1 笔 • 页数 1 •
1
评论
新增评论
分享你的心得
存为私人书单
书目转出
取书馆别
处理中
...
变更密码
登入