International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy)

Identifiers

  • Open LibraryOL1454324A

Top Subjects

  • Computer software -- Congresses. (1)
  • System design -- Congresses. (1)
  • Formal methods (Computer science) -- Congresses. (1)
  • Mobile computing -- Congresses. (1)

Books by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy)

Total count: 1