Formal specification: techniquies and applications/ by Nimal Nissanke.

Nissanke, Nimal.
Call Number
001.6424 N63F
Author
Nissanke, Nimal.
Title
Formal specification: techniquies and applications/ by Nimal Nissanke.
Publication
Berlin: Springer Verlag, 1999.
Physical Description
295p.
Subject
SOFTWARE ENGINEERING
COMPUTER SOFTWARE- SPECIFICATIONS
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library 001.6424 N63F 214363 Project Books 1 Available
 
 
 
00650nam a2200205 a 4500
001
 
 
vtls000139538
003
 
 
VRT
005
 
 
20050415161700.0
008
 
 
040512                       000 0 eng d
020
$a 1852330023
039
9
$a 200504151617 $b staff $y 200405121412 $z pjr
082
1
0
$a 001.6424 $b N63F
100
1
$a Nissanke, Nimal.
245
1
$a Formal specification: $b techniquies and applications/ $c by Nimal Nissanke.
260
$a Berlin: $b Springer Verlag, $c 1999.
300
$a 295p.
650
0
$a SOFTWARE ENGINEERING
650
0
$a COMPUTER SOFTWARE- SPECIFICATIONS
999
$a VIRTUA
999
$a VTLSSORT0010*0030*0080*0200*0820*1000*2450*2600*3000*6500*6501*9991
No Reviews to Display
Subject
SOFTWARE ENGINEERING
COMPUTER SOFTWARE- SPECIFICATIONS