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
وارد کنندة اطلاعات
صادقي