TY - BOOK ID - 133719762 TI - 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 AU - Bernardo, Marco. AU - Bogliolo, Alessandro. AU - International School on Formal Methods for the Design of Computer, Communication and Software Systems AU - International School on Formal Methods for the Design of Computer, Communication, and Software Systems PY - 2005 PB - Berlin : Springer, DB - UniCat KW - Computer communication systems. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Special purpose computers. KW - Computer Communication Networks. KW - Software Engineering. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Special Purpose and Application-Based Systems. KW - Formal methods (Computer science) KW - Mobile computing KW - Computer software KW - System design UR - https://www.unicat.be/uniCat?func=search&query=sysid:133719762 AB - ER -