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
Sábháilte in:
Príomhchruthaitheoir: | Bernardo, Marco (Údar) |
---|---|
Údar corparáideach: | SpringerLink (Online service) |
Rannpháirtithe: | Bogliolo, Alessandro |
Formáid: | Ríomhleabhar |
Teanga: | English |
Foilsithe / Cruthaithe: |
Berlin Heidelberg
Springer-Verlag
2005
|
Sraith: | Lecture Notes in Computer Science,
3465 |
Ábhair: | |
Rochtain ar líne: | Click here to view the full text content |
Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
-
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
Foilsithe / Cruthaithe: (2013) -
Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Foilsithe / Cruthaithe: (2014) -
Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Foilsithe / Cruthaithe: (2013) -
Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Foilsithe / Cruthaithe: (2014) -
Formal methods for web services 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures /
Foilsithe / Cruthaithe: (2009)