Formal Methods for Mobile Computing
Bernardo, Marco
ISBN 10: 3540256970 ISBN 13: 9783540256977
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
New
Soft cover
From
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
AbeBooks Seller since 27 February 2001
This specific item is no longer available.
About this Item
Description:
Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 408. . 2005. Paperback. . . . . Seller Inventory # V9783540256977
Synopsis:
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
Synopsis: This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods for Mobile Computing
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Date: 2005
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD1520254
Quantity: 1 available
Seller Image
Formal Methods for Mobile Computing
Published by
Springer Berlin Heidelberg, 2005
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Man. Seller Inventory # 4886586
Quantity: Over 20 available
Stock Image
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3465)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020164258
Quantity: Over 20 available
Seller Image
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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4117333-n
Quantity: Over 20 available
Stock Image
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540256977
Quantity: 10 available
Seller Image
Formal Methods for Mobile Computing
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2005, 2005
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - rst-class data with coordination primitives.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch. Seller Inventory # 9783540256977
Quantity: 2 available
Seller Image
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
Published by
Springer Berlin Heidelberg, 2008
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputersc ience asaprominentapproachtotherigorousdesignofcomputer,communication and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM 2005 (Moby) was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. This volume is organized into four parts related to mobile computing, which cover models and languages, scalability and performance, dynamic power management, and m- dleware support. Each part is composed of two papers. The opening paper by Montanari and Pistore gives an overview of histo- dependent automata, an extension of ordinary automata that overcomes their limitations in dealing with named calculi. In particular, the authors show that history-dependent automata allow for a compact representation of -calculus processes, which is suitable both for theoretical investigations and for the v- i cation of models of agents and code mobility. Bettini and De Nicola s - per presents X-Klaim, an experimental programming language speci cally - signed to develop distributed systems composed of several components intera- ing through multiple distributed tuple spaces and mobile code. Through a series of examples, the authors show that many mobile code programming paradigms can be naturally implemented by means of the considered language, which c- bines explicit localities as rst-class data with coordination primitives. Seller Inventory # 9783540256977
Quantity: 1 available
Seller Image
Formal Methods for Mobile Computing
Published by
Springer Berlin Heidelberg Apr 2005, 2005
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Taschenbuch
Signed
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM 2005 (Moby) was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. This volume is organized into four parts related to mobile computing, which cover models and languages, scalability and performance, dynamic power management, and m- dleware support. Each part is composed of two papers. The opening paper by Montanari and Pistore gives an overview of histo- dependent automata, an extension of ordinary automata that overcomes their limitations in dealing with named calculi. In particular, the authors show that history-dependent automata allow for a compact representation of -calculus processes, which is suitable both for theoretical investigations and for the v- i cation of models of agents and code mobility. Bettini and De Nicola s - per presents X-Klaim, an experimental programming language speci cally - signed to develop distributed systems composed of several components intera- ing through multiple distributed tuple spaces and mobile code. Through a series of examples, the authors show that many mobile code programming paradigms can be naturally implemented by means of the considered language, which c- bines explicit localities as rst-class data with coordination primitives. 284 pp. Englisch. Seller Inventory # 9783540256977
Quantity: 2 available
Seller Image
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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4117333-n
Quantity: Over 20 available
Stock Image
Formal Methods for Mobile Computing (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2005
ISBN 10: 3540256970
ISBN 13: 9783540256977
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support. This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540256977
Quantity: 1 available