عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2804
QA
76
.
L28
Vol
.
2804
کتابخانه
محل استقرار
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, Italy, September 22-27, 2003 : advanced lectures
3rd : 2003 : Bertinoro, Italy
Berlin
Springer-Verlag
c2003
vi, 285 p.: ill., tables
Lecture notes in computer science; 4082
Includes bibliographies
ISBN: 3540200835
Marco Bernardo, Paola Inverardi )eds.(
1
، Computer software
، Computer architecture
، System design
، Formal methods )Computer science(
QA
76
.
L28
Vol
.
2804
AU
AU Bernardo, Marco
AU Inverardi, Paola
TI
SE
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
