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