-
RecordNumber
8453
-
Author
Charatan, Quentin
-
Addition
,
-
Title
Formal Software Development
-
Author Statement
Quentin Charatan and Aaron Kans
-
Publication
Palgrave
-
Collation
xii, 239 p.:figs
-
Subject
Computer Software-Derelopment,Formal Methods (computer science)
-
ADDED ENTRIES
AU Kans, Aaron, JT Auth
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.D 47,C 47
-
LC Date
2004
-
تاريخ ورود اطلاعات
1391/09/18
-
ISBNN
,
-
Bibliography
Includes index
-
Published_Year
2004
-
Link To Document :
