大葉大學圖書館 |

登入

回首頁

Formal methods[electronic resource] ...

Boulanger, Jean-Louis.

Formal methods[electronic resource] :industrial use from model to the code /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	385.0285/53
書名/作者:	Formal methods : industrial use from model to the code // edited by Jean-Louis Boulander.
其他作者:	Boulanger, Jean-Louis.
出版者:	London : : ISTE ;, 2012.
面頁冊數:	1 online resource.
標題:	Railroads - Management
標題:	Formal methods (Computer science)
標題:	Application software - Development.
ISBN:	9781118614389 (electronic bk.)
ISBN:	1118614380 (electronic bk.)
ISBN:	9781118561898 (electronic bk.)
ISBN:	1118561899
ISBN:	1299315070 (ebk)
ISBN:	9781299315075 (ebk)
書目註:	Includes bibliographical references and index.
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781118561898

Formal methods[electronic resource] :industrial use from model to the code /
Formal methodsindustrial use from model to the code /[electronic resource] :edited by Jean-Louis Boulander. - London :ISTE ;2012. - 1 online resource. - ISTE. - Industrial implementation of formal methods series..

Includes bibliographical references and index.

ISBN: 9781118614389 (electronic bk.)Subjects--Topical Terms:

625053
Railroads
--Management

LC Class. No.: TF507

Dewey Class. No.: 385.0285/53

Formal methods[electronic resource] :industrial use from model to the code /
LDR:01190cam a2200325Ka 4500 001 437967
003 OCoLC
005 20151019082635.0
006 m o d
007 cr |||||||||||
008 160125s2012 enk ob 001 0 eng d
020 $a 9781118614389 (electronic bk.)
020 $a 1118614380 (electronic bk.)
020 $a 9781118561898 (electronic bk.)
020 $a 1118561899
020 $z 9781848213623 (hbk.)
020 $a 1299315070 (ebk)
020 $a 9781299315075 (ebk)
035 $a (OCoLC)830161712 $z (OCoLC)841167898 $z (OCoLC)842854740
035 $a ocn830161712
040 $a EBLCP $b eng $c EBLCP $d OCLCQ $d N $d E7B $d CUS $d OCLCO $d CDX $d OCLCO $d OCLCF $d YDXCP $d OCLCQ $d IDEBK $d DEBSZ
050 4 $a TF507
082 0 4 $a 385.0285/53 $2 23
245 0 0 $a Formal methods $h [electronic resource] : $b industrial use from model to the code / $c edited by Jean-Louis Boulander.
260 $a London : $b ISTE ; $a Hoboken, NJ : $b Wiley, $c 2012.
300 $a 1 online resource.
490 1 $a ISTE
490 1 $a Industrial implementation of formal methods series
504 $a Includes bibliographical references and index.
588 0 $a Print version record.
650 0 $a Railroads $x Management $x Data processing. $3 625053
650 0 $a Formal methods (Computer science) $3 412292
650 0 $a Application software $x Development. $3 338414
700 1 $a Boulanger, Jean-Louis. $3 624669
830 0 $a Industrial implementation of formal methods series. $3 625052
830 0 $a ISTE. $3 587572
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118561898

筆 0 讀者評論

多媒體

多媒體檔案
http://onlinelibrary.wiley.com/book/10.1002/9781118561898

評論

新增評論分享你的心得

Export

取書館別