國立虎尾科技大學 |

Language: English

Back

Second International Conference on F...

Hinchey, Michael G (1969)

Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia

Record Type:	Language materials, printed : monographic
Title Information:	proceedings : December 9-11, 1998, Brisbane, Australia
Secondary Intellectual Responsibility:	StaplesJohn,
Secondary Intellectual Responsibility:	HincheyMichael G, 1969
Secondary Intellectual Responsibility:	LiuShaoying, 1960
Corporate Body:	IEEE International Conference on Formal Engineering Methods1998
Alternative Intellectual Responsibility:	IEEE Computer Society.2
Place of Publication:	Los Alamitos, California
Published:	IEEE Computer Society Press; IEEE Computer Society Press;
Year of Publication:	c1998
Description:	xi, 235 pill : 28 cm;
Subject:	Engineering - Methodology -
Subject:	Computer software - Development -
Notes:	"ICFEM'98"--half T.p
ISBN:	0818691980

Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
IEEE International Conference on Formal Engineering Methods

Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia / edited by John Staples, Michael G. Hinchey, and Shaoying Liu ; sponsored by IEEE Computer Society ... [et al.] - Los Alamitos, California : IEEE Computer Society Press, c1998. - xi, 235 p ; ill ; 28 cm.
"ICFEM'98"--half T.p"IEEE Computer Society Order Number PR09198"--verso of T.p"IEEE Order Plan Catalog Number 98EX2421"--verso of T.p.
Includes bibliographical references and author index.
ISBN 0818691980
EngineeringComputer software -- Methodology -- Development

Staples, John

Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
LDR:01074cam 2200241 i 450 001 448331
009 a(OCoLC)40434112
009 a98087878 98087878
010 1 $a 0818691980 $b (pbk.)
100 $a 20010221d1998 m y0engy01 b
101 0 $a eng
105 $a a z 001zy
200 1 $a Second International Conference on Formal Engineering Methods $e proceedings : December 9-11, 1998, Brisbane, Australia $f edited by John Staples, Michael G. Hinchey, and Shaoying Liu ; sponsored by IEEE Computer Society ... [et al.]
210 $a Los Alamitos, California $c IEEE Computer Society Press $d c1998 $c IEEE Computer Society Press
215 1 $a xi, 235 p $c ill $d 28 cm
300 $a "ICFEM'98"--half T.p
300 $a "IEEE Computer Society Order Number PR09198"--verso of T.p
300 $a "IEEE Order Plan Catalog Number 98EX2421"--verso of T.p
320 $a Includes bibliographical references and author index
510 1 $a Formal Engineering Methods
606 $2 lc $a Engineering $x Methodology $3 430257
606 $2 lc $a Computer software $x Development $3 390361
676 $a 620.0028 $b F723
676 $a 620/.0028 $v 2100
680 $a TA5 $b I415 199804
702 $a Staples $b John $3 430252
702 $a Hinchey $b Michael G $f 1969 $3 430253
702 $a Liu $b Shaoying $f 1960 $3 430254
710 $a IEEE International Conference on Formal Engineering Methods $e Brisbane, Qld.)2 $d (2nd $f 1998 $3 430255
711 $a IEEE Computer Society.2 $3 430256
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20010206