醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

Tool support for system specification, development and verification

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47354] Secondary Intellectual Responsibility:	Lakhnech,Y.,
[NT 47354] Secondary Intellectual Responsibility:	Berghammer,R., 1952-
[NT 47351] Place of Publication:	New York
[NT 47263] Published:	Springer;
[NT 47352] Year of Publication:	c1999
[NT 47264] Description:	viii, 232 p.ill. : 24 cm.;
[NT 47298] Series:	Advances in computing science
[NT 47266] Subject:	Computer-aided software engineering -
[NT 47266] Subject:	Computer software - Quality control -
[NT 47265] Notes:	Proceedings of an international conference held in Malente, Germany, June 1-4, 1998
[NT 50961] ISBN:	3-211-83282-3

Tool support for system specification, development and verification
Tool support for system specification, development and verification / R. Berghammer, Y. Lakhnech (eds.) - New York : Springer, c1999. - viii, 232 p. ; ill. ; 24 cm.. - (Advances in computing science).
Proceedings of an international conference held in Malente, Germany, June 1-4, 1998.
Includes bibliographical references.
ISBN 3-211-83282-3
Computer-aided software engineeringComputer software -- Quality control

Lakhnech,, Y.

Tool support for system specification, development and verification
LDR:00720nam0 2200193 i 450 001 119368
005 20120618125438.0
010 1 $a 3-211-83282-3 $b pbk. $d NT1001
100 $a 20071107d1999 u y0engy09 b
101 0 $a eng
102 $b au
105 $a a a 100yy
200 1 $a Tool support for system specification, development and verification $f R. Berghammer, Y. Lakhnech (eds.)
210 $a New York $a Wien $d c1999 $c Springer
215 1 $a viii, 232 p. $c ill. $d 24 cm.
225 2 $a Advances in computing science $x 1433-0113
300 $a Proceedings of an international conference held in Malente, Germany, June 1-4, 1998
320 $a Includes bibliographical references
410 0 $1 2001 $a Advances in computing science
606 $a Computer-aided software engineering $3 94711 $3 222736
606 $a Computer software $x Quality control $x Statistical methods $3 38542 $3 219792
680 $a QA76.76.D47 $b T65x 1999
702 $a Lakhnech, $b Y. $g Yassine $3 94710
702 $a Berghammer, $b R. $f 1952- $g Rudolf $3 94709

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5501718] Search Note

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

[NT 5502] Print

00206714

4樓西文圖書區

一般圖書

一般圖書

005.1 T671

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login