-
RecordNumber
38609
-
Addition
,
-
Title
Formal methods and software engineering
-
SubTitle
7th International Conference on Formal Engineering Methode, ICFEM 2005 .....
-
Author Statement
Richard Bannach (Eds)
-
Editor
Kung-Kiu Lau, Richard Banach
-
Publication
Springer
-
Collation
xiv, 496p.: ill, tables
-
Series
Lecture notes in conputer science; 3785
-
Index
Includes Index
-
Subject
Formal methods (computer science),Software engineering
-
ADDED ENTRIES
AU Lau, K.K (Kung-Kiu), 1953 - editor , AU Banach, Richard, editor
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.F6
-
LC Date
2005
-
تاريخ ورود اطلاعات
1391/09/18
-
ISBNN
9783540297970 ,
-
Published_Year
2005
-
Link To Document :
