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

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 / edited by Marco Bernardo, Alessandro Bogliolo.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bernardo, Marco (Editor), Bogliolo, Alessandro (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Programming and Software Engineering ; 3465
Springer eBook Collection.
Subjects:
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Special purpose computers.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Physical Description:VIII, 272 p. online resource.
ISBN:9783540320210
DOI:10.1007/b135888

Similar Items