語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Formal methods applied to complex sy...
~
Boulanger, Jean-Louis.
Formal methods applied to complex systems = implementation of the B Method /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Formal methods applied to complex systems/ edited by Jean-Louis Boulanger.
其他題名:
implementation of the B Method /
其他作者:
Boulanger, Jean-Louis.
出版者:
London :ISTE ; : 2014.,
面頁冊數:
1 online resource.
標題:
B method (Computer science) -
電子資源:
http://onlinelibrary.wiley.com/book/10.1002/9781119002727
ISBN:
9781119002680 (electronic bk.)
Formal methods applied to complex systems = implementation 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:
1060177
B method (Computer science)
LC Class. No.: QA76.9.B22
Dewey Class. No.: 005.1
Formal methods applied to complex systems = implementation of the B Method /
LDR
:01060cam a2200301Ki 4500
001
831832
003
OCoLC
005
20151014013545.0
006
m o d
007
cr |||||||||||
008
160215s2014 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 :
$a
Hoboken, NJ :
$b
ISTE ;
$c
2014.
$b
Wiley,
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)
$3
1060177
650
0
$a
Formal methods (Computer science)
$3
564790
700
1
$a
Boulanger, Jean-Louis.
$3
1060176
830
0
$a
Computer engineering series (London, England)
$3
1059771
856
4 0
$u
http://onlinelibrary.wiley.com/book/10.1002/9781119002727
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入