-
RecordNumber
8466
-
Author
Cooke, John, 1947-
-
Addition
,
-
Title
Constructing correct software
-
Author Statement
John Cooke
-
Publication
Springer
-
Collation
xiii, 395 p.;24 cm
-
Series
Formal approaches to computing and information technology
-
Index
Includes index
-
Subject
Computer software- Development.
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.D47
-
LC Date
665,1998
-
تاريخ ورود اطلاعات
1391/09/18
-
ISBNN
,
-
Published_Year
c1998
-
Link To Document :
