机读格式显示(MARC)

• 000 01452nam2 2200397 4500

• 000 1000007837

• 001 0000164137

• 003 CAL

• 005 20050126093335.0

• 008 011015s1989 enka b 001 0 eng

• 010 __ |a 89019852

• 020 __ |a 0470215275 (Halsted Press) |c CNY8.50

• 020 __ |a 074580697X :

• 040 __ |a DLC |c XAIT

• 050 00 |a 0aQA76.758 |b .M54 1989

• 082 00 |a a005.1 |2 20

• 090 __ |a TP311.11/E2

• 093 __ |a TP311.11 |2 4

• 099 __ |a CAL 022000230855

• 100 1_ |a Mili, Ali.

• 245 10 |a Towards structured specifying : |b theory, practice, applications / |c Ali Mili and Noureddine Boudriga, Fatma Mili ; with contributions from Ahmed Ferchichi and Ali Jaoua.

• 260 __ |a Chichester, West Sussex, England : |b E. Horwood ; |a New York : |b Halsted Press, |c 1989.

• 300 __ |a 143 p. : |b ill. ; |c 25 cm.

• 440 _0 |a Ellis Horwood series in software engineering

• 440 _0 |a Ellis Horwood books in information technology

• 504 __ |a Includes bibliographical references (p. 138-140).

• 650 _0 |a Electronic data processing |x Structured techniques.

• 650 _0 |a Software engineering.

• 653 __ |a Computer systems |a Programs |a Design

• 700 1_ |a Mili, Fatma.

• 700 1_ |a Boudriga, Noureddine.

• 905 __ |a XATU |d TP311.11/E2

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP311.11/E2

• 991 __022005003788

• 999 __ |t C |A zhaining |a 20050126 09:24:39 |M zhaining |m 20050126 09:33:35 |G zhaining |g 20050126 09:33:5