語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Formal methods applied to complex sy...
~
Boulanger, Jean-Louis.
Formal methods applied to complex systemsimplementation of the B Method /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Formal methods applied to complex systemsedited by Jean-Louis Boulanger.
其他題名:
implementation of the B Method /
其他作者:
Boulanger, Jean-Louis.
出版者:
London :ISTE ;2014.
面頁冊數:
1 online resource.
標題:
B method (Computer science)Congresses.
電子資源:
http://onlinelibrary.wiley.com/book/10.1002/9781119002727
ISBN:
9781119002680 (electronic bk.)
Formal methods applied to complex systemsimplementation of the B Method /
Formal methods applied to complex systems
implementation of the B Method /[electronic resource] :edited by Jean-Louis Boulanger. - London :ISTE ;2014. - 1 online resource. - Computer engineering series. - Computer engineering series (London, England).
Includes bibliographical references and index.
ISBN: 9781119002680 (electronic bk.)Subjects--Topical Terms:
443066
B method (Computer science)
--Congresses.
LC Class. No.: QA76.9.B22
Dewey Class. No.: 005.1
Formal methods applied to complex systemsimplementation of the B Method /
LDR
:01060cmm a2200301Ki 4500
001
467760
003
OCoLC
005
20151014013545.0
006
m o d
007
cr |||||||||||
008
160107s2014 enka ob 001 0 eng d
020
$a
9781119002680 (electronic bk.)
020
$a
1119002680 (electronic bk.)
020
$a
9781119002727 (electronic bk.)
020
$a
1119002729 (electronic bk.)
020
$z
1848217099
020
$z
9781848217096
035
$a
(OCoLC)887825577
035
$a
ocn887825577
040
$a
N
$b
eng
$c
N
$d
DG1
$d
YDXCP
$d
E7B
$d
OCLCF
050
4
$a
QA76.9.B22
082
0 4
$a
005.1
$2
23
245
0 0
$a
Formal methods applied to complex systems
$h
[electronic resource] :
$b
implementation of the B Method /
$c
edited by Jean-Louis Boulanger.
260
$a
London :
$b
ISTE ;
$a
Hoboken, NJ :
$b
Wiley,
$c
2014.
300
$a
1 online resource.
490
1
$a
Computer engineering series
504
$a
Includes bibliographical references and index.
588
$a
Description based on print version record.
650
0
$a
B method (Computer science)
$v
Congresses.
$3
443066
650
0
$a
Formal methods (Computer science)
$3
277520
700
1
$a
Boulanger, Jean-Louis.
$3
722956
830
0
$a
Computer engineering series (London, England)
$3
722579
856
4 0
$u
http://onlinelibrary.wiley.com/book/10.1002/9781119002727
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000115485
電子館藏
1圖書
電子書
EB QA76.9.B22 F723 2014
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
http://onlinelibrary.wiley.com/book/10.1002/9781119002727
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入