{"product_id":"bernardo-marco-formal-methods-for-mobile-computing-9783540256977","title":"Formal Methods for Mobile Computing","description":"Models and Languages.- History-Dependent Automata: An Introduction.- Mobile Distributed Programming in X-Klaim.- Scalability and Performance.- Dealing with Node Mobility in Ad Hoc Wireless Network.- Performance Analysis of Mobile Systems.- Dynamic Power Management.- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.- Dynamic Power Management Strategies Within the IEEE 802.11 Standard.- Middleware Support.- Network Swapping.- Hermes: Agent-Based Middleware for Mobile Computing.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54716083634518,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540256977_1.jpg?v=1791031492","url":"https:\/\/www.momoxbooks.com\/de\/products\/bernardo-marco-formal-methods-for-mobile-computing-9783540256977","provider":"momox","version":"1.0","type":"link"}