عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3465
QA
76
.
L28
Vol
.
3465
کتابخانه
محل استقرار
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
5th : 2005 : Bertinoro, Italy
Berlin
Springer-Verlag
2005
vi, 270 p.: ill
Lecture notes in computer science; 5643
Includes bibliographies
ISBN: 3540256970
Marco Bernardo, Alessandro Bogliolo )eds.(
1
Congresses ، Mobile computing
Congresses ، Formal methods )Computer science(
Congresses ، Computer software -- Development
QA
76
.
L28
Vol
.
3465
NO
AU
AU Bernardo, Marco
AU Bogliolo, Alessandro
TI
SE
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
