-
RecordNumber
34437
-
Author
Nissanke, Nimal
-
Title
Formal specification: techniques and applications
-
Author Statement
Nimal Nissanke
-
Publication
Springer -Verlag London Ltd
-
Publication Year
1999
-
Collation
xvii, 295P
-
Notes
1852330023
-
Subject
Object-oriented programming (Computer science) , Computer software - Development
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.D47N5
-
LC Date
1999
-
وارد کنندة اطلاعات
صادقي
-
Link To Document :
