國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Practical formal software engineerin...

~

Mills, Bruce, (1962-)

Practical formal software engineering : = wanting the software you get /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Practical formal software engineering :/ Bruce Mills.
其他題名:	wanting the software you get /
作者:	Mills, Bruce,
出版者:	New York :Cambridge University Press, : 2009.,
面頁冊數:	xxxiii, 339 p. :ill. ; : 26 cm.;
標題:	Software engineering - Congresses. -
ISBN:	0521879035 (cloth) :

Practical formal software engineering : = wanting the software you get /
Mills, Bruce,1962-

Practical formal software engineering :wanting the software you get /Bruce Mills. - New York :Cambridge University Press,2009. - xxxiii, 339 p. :ill. ;26 cm.

Includes bibliographical references and index.

PART 1: Fundamentals. Arithmetic -- Logic -- Algebra -- Diagrams -- -- PART 2: Language. UML -- OCL -- Z -- Logic -- Java -- Game exercises -- -- PART 3: Practice. Implementation -- State transformation -- Plain text -- Natural language -- Digital geometry -- Building dungeons -- Multiple threads -- Security.

ISBN: 0521879035 (cloth) :NT3438

LCCN: 2008042407

Nat. Bib. No.: GBA8C6306bnb

Nat. Bib. Agency Control No.: 014794189UkSubjects--Topical Terms:

528500
Software engineering
--Congresses.

LC Class. No.: QA76.758 / .M575 2009

Dewey Class. No.: 005.1

Practical formal software engineering : = wanting the software you get /
LDR:01066cam a2200241 a 4500 001 826002
005 20090604102004.0
008 151209s2009 nyua b 001 0 eng
010 $a 2008042407
015 $a GBA8C6306 $2 bnb
016 7 $a 014794189 $2 Uk
020 $a 0521879035 (cloth) : $c NT3438
020 $a 9780521879033 (cloth)
035 $a (OCoLC)231581092
035 $a 15464904
040 $a DLC $c NFU $d YDX $d BTCTA $d BAKER $d YDXCP $d UKM $d VLB $d CDX $d DLC
041 0 # $a eng
050 0 0 $a QA76.758 $b .M575 2009
082 0 0 $a 005.1 $2 22
100 1 $a Mills, Bruce, $d 1962- $3 1051582
245 1 0 $a Practical formal software engineering : $b wanting the software you get / $c Bruce Mills.
260 # $a New York : $b Cambridge University Press, $c 2009.
300 $a xxxiii, 339 p. : $b ill. ; $c 26 cm.
504 $a Includes bibliographical references and index.
505 0 # $a PART 1: Fundamentals. Arithmetic -- Logic -- Algebra -- Diagrams -- -- PART 2: Language. UML -- OCL -- Z -- Logic -- Java -- Game exercises -- -- PART 3: Practice. Implementation -- State transformation -- Plain text -- Natural language -- Digital geometry -- Building dungeons -- Multiple threads -- Security.
650 # 0 $a Software engineering $v Congresses. $3 528500

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E041904

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

005.1 M657 2009

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入