Slični primjerci

• Formal methods in human-computer interaction
  Impresum: (1990)
• Foundations of real-time computing : formal specifications and methods
  Impresum: (1991)
• 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
  Impresum: (2005)
• 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 2003 : advanced lectures
  Impresum: (2003)
• Formal and practical aspects of autonomic computing and networking : specification, development, and verification
  Impresum: (2012)