-
RecordNumber
35242
-
Author
International School on Formal Methods for the Design of Computer, Communication and Software Syste
-
Title
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems: Software Architectures, SFM 2003, Bertinoro, I
-
Author Statement
Marco Bernardo, Paola Inverardi
-
Publication
Springer
-
Publication Year
2003
-
Series
Lecture notes in computer science
-
Notes
Includes bibliographical references and index , 3540200835
-
Subject
Real-time data processing , Formal methods (Computer science) , Computer systems , Computer software
-
ADDED ENTRIES
, Bernardo, Marco , Inverardi, Paola ,
-
LC Class
QA
-
LC Number
76.754
-
LC CutterNumber
.F67
-
LC Date
2003
-
وارد کنندة اطلاعات
فراهاني
-
Link To Document :
