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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bernardo, Marco (Editor), Bogliolo, Alessandro (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series:Lecture Notes in Computer Science, 3465
Subjects:
Computer science.
Computer communication systems.
Special purpose computers.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computer Science.
Computer Communication Networks.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Online Access:Full Text via HEAL-Link
Description
Physical Description:VIII, 272 p. online resource.
ISBN:9783540320210
ISSN:0302-9743 ;

Similar Items