This Book Presents Tutorial Survey Papers By Leading Researchers Who Lectured At The Th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, SFM , Held In Bertinoro, Italy In April SFM Was Devoted To Formal Methods And Tools For The Design Of Mobile Systems And Mobile Communication Infrastructures The Lectures Are Organized Into Topical Sections On Models And Languages, Scalability And Performance, Dynamic Power Management, And Middleware Support
Is a well-known author, some of his books are a fascination for readers like in the Formal Methods for Mobile Computing book, this is one of the most wanted Marco Bernardo author readers around the world.
- Formal Methods for Mobile Computing
- Marco Bernardo
- 04 March 2018 Marco Bernardo