Formal methods for mobile computing : fifth 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: Bogliolo, Alessandro.
Contributor(s): Bernardo, Marco.
Material type:
BookSeries: 3465. Lecture notes in computer science.Publisher: Berlin: Springer, 2005Description: vi, 270 p.; : 24 cm.ISBN: 9783540256977 .Subject(s): Computer software | SFM-Moby | Formal methods | Mobile computing | System design | MobileDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 BER (Browse shelf) | Available | 012852 |
There are no comments for this item.