Languages
Bogliolo, Alessandro.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
User-centric networkingfuture perspectives /
by:
Aldini, Alessandro.; Bogliolo, Alessandro.; SpringerLink (Online service)
(Electronic resources)
Formal Methods for Mobile Computing5th 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 /
by:
(1998 :); Bernardo, Marco.; Bogliolo, Alessandro.; SpringerLink (Online service)
(Electronic resources)
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 /
by:
(1998 :); Bernardo, Marco.; Bogliolo, Alessandro.
(Language materials, printed)
Subjects
Software Engineering.
Communications Engineering, Networks.
Logics and Meanings of Programs.
Home computer networks.
R & D/Technology Policy.
Computer software
Complexity.
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Wireless communication systems.
Computer Science.
Computer Communication Networks.
Customer services.
Computer Systems Organization and Communication Networks.
Mobile computing