عنوان
پدید آورنده
موضوع
رده
QA,76.754,.F67,2003
QA
,
76
.
754
,.
F67
,
2003
کتابخانه
محل استقرار
3540200835
IR
ebook28516
انگلیسی
IR
Formal methods for software architectures
[Electronic Resource]
:Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures
/ Marco Bernardo, Paola Inverardi (eds.)
Berlin ;New York
: Springer,
, 2003.
vi, 285 p.
: ill. ; 24 cm.
(Lecture notes in computer science
; 2804)
e
Includes bibliographical references and index.
Real-time data processing--Congresses
Formal methods (Computer science)--Congresses
Computer systems--Congresses
Computer software--Congresses
005
.
3
QA
,
76
.
754
,.
F67
,
2003
Bernardo, Marco
Inverardi, Paola
International School on Formal Methods for the Design of Computer, Communication and Software Systems(3rd :2003 :Bertinoro, Italy)
ایران
005.3
3540200835.pdf
0
0
old catalog
e
BL
1
a
Y
