Bernardo, Marco.
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 / [electronic resource] : edited by Marco Bernardo, Alessandro Bogliolo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3465 0302-9743 ; . - Lecture Notes in Computer Science, 3465 .
9783540320210
10.1007/b135888 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
QA76.758
005.1
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 / [electronic resource] : edited by Marco Bernardo, Alessandro Bogliolo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3465 0302-9743 ; . - Lecture Notes in Computer Science, 3465 .
9783540320210
10.1007/b135888 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
QA76.758
005.1