國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Practical formal software engineerin...

~

Mills, Bruce, (1962-)

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Practical formal software engineering :/ Bruce Mills.
Reminder of title:	wanting the software you get /
Author:	Mills, Bruce,
Published:	New York :Cambridge University Press, : 2009.,
Description:	xxxiii, 339 p. :ill. ; : 26 cm.;
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E041904

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

005.1 M657 2009

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login