Language:
繁體中文
English
日文
說明(常見問題)
南開科技大學
圖書館首頁
編目中圖書申請
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Software engineering mathematics :fo...
~
Loomes, Martin.
Software engineering mathematics :formal methods demystified /
紀錄類型:
書目-語言資料,印刷品 : 單行本
正題名/作者:
Software engineering mathematics :/ Jim Woodcock, Martin Loomes.
其他題名:
formal methods demystified /
作者:
Woodcock, Jim.
其他作者:
Loomes, Martin.
出版者:
London :Pitman,1988.
面頁冊數:
291 :ill. ;25 cm.
附註:
Includes index.
標題:
Computer programming. -
ISBN:
0273026739 (pbk.)
ISBN:
9780273026730 (pbk.)
Software engineering mathematics :formal methods demystified /
Woodcock, Jim.
Software engineering mathematics :
formal methods demystified /Jim Woodcock, Martin Loomes. - London :Pitman,1988. - 291 :ill. ;25 cm.
Includes index.
ISBN: 0273026739 (pbk.)
Nat. Bib. No.: GB88-29820Subjects--Topical Terms:
148134
Computer programming.
Subjects--Index Terms:
Computer systems
LC Class. No.: QA76.6
Dewey Class. No.: 005.13/1
Software engineering mathematics :formal methods demystified /
LDR
:00616cam _2200217 _450
001
142460
003
OCoLC
005
20070121211601.0
008
881123s1988 enka 001 0 eng
015
$a
GB88-29820
020
$a
0273026739 (pbk.)
020
$a
9780273026730 (pbk.)
035
$a
00120057
040
$a
UKM
$c
UKM
049
$a
NKCA
050
1 4
$a
QA76.6
082
0 4
$a
005.13/1
$2
19
100
1
$a
Woodcock, Jim.
$3
174328
245
1 0
$a
Software engineering mathematics :
$b
formal methods demystified /
$c
Jim Woodcock, Martin Loomes.
260
$a
London :
$b
Pitman,
$c
1988.
300
$a
291 :
$b
ill. ;
$c
25 cm.
500
$a
Includes index.
650
0
$a
Computer programming.
$3
148134
650
0
$a
Computer science
$x
Mathematics.
$3
156381
653
$a
Computer systems
$a
Programs
$a
Mathematics
700
1
$a
Loomes, Martin.
$3
174329
0 筆讀者評論
館藏地:
全部
六樓西文書庫
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
備註欄
附件
E10285
六樓西文書庫
一般借閱
外文書
* 005.131 W886 1988
一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入