國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Formal specification techniques for ...

~

Tan, Yang Meng

Formal specification techniques for engineering modular C programs

Record Type:	Language materials, printed : monographic
Author:	TanYang Meng,
Place of Publication:	Boston
Published:	Kluwer Academic Publishers;
Year of Publication:	c1996
Description:	xvi, 213 pill : 25 cm;
Series:	The Kluwer international series in software engineering
Subject:	C (Computer program language) -
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E018205

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

005.133C T161 1996

一般使用(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