國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal specification techniques for ...

~

Tan, Yang Meng

Formal specification techniques for engineering modular C programs

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	TanYang Meng,
出版地:	Boston
出版者:	Kluwer Academic Publishers;
出版年:	c1996
面頁冊數:	xvi, 213 pill : 25 cm;
集叢名:	The Kluwer international series in software engineering
標題:	C (Computer program language) -
標題:	Software engineering -
ISBN:	0792396537

Formal specification techniques for engineering modular C programs
Tan, Yang Meng

Formal specification techniques for engineering modular C programs / by Tan Yang Meng ; foreword by John Guttag - Boston : Kluwer Academic Publishers, c1996. - xvi, 213 p ; ill ; 25 cm. - (The Kluwer international series in software engineering ; 1).
Includes bibliographical references (p. [205]-208) and index.
ISBN 0792396537
C (Computer program language)Software engineering

Formal specification techniques for engineering modular C programs
LDR:00809cam 2200229 i 450 001 438725
005 20101023182747.0
009 a95040529
010 1 $a 0792396537 $b (hard)
100 $a 20080130d1996 m y0engy01 b
101 0 $a eng
200 1 $a Formal specification techniques for engineering modular C programs $f by Tan Yang Meng ; foreword by John Guttag
210 $a Boston $c Kluwer Academic Publishers $d c1996
215 0 $a xvi, 213 p $c ill $d 25 cm
225 0 $a The Kluwer international series in software engineering $v 1
320 $a Includes bibliographical references (p. [205]-208) and index
606 $a C (Computer program language) $3 398520 $2 lc $3 723531
606 $a Software engineering $3 394959 $2 lc $3 723898
676 $a 005.13/3 $v 20
676 $a 005.133C $b T161
680 $a QA76.73.C15 $b T36 1996
700 $a Tan $b Yang Meng $3 418591
801 0 $b DLC
801 0 $a cw $b BIB $c 19980630
801 1 $a cw $b national library $c 19980630
801 0 $a cw $b 國立國立虎尾科技大學圖書館 $c 19980729 $g CCR

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E018205

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

005.133C T161 1996

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

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

登入