Formal Methods for Mobile Computing by Marco Bernardo
?rst-class data with coordination primitives.-
Fundamentals of Software Engineering
-
Software Engineering and Formal Methods
-
Formal Methods for Eternal Networked Software Systems
-
Autonomic and Trusted Computing
-
Analytical and Stochastic Modeling Techniques and Applications
-
Principles and Practice of Constraint Programming
-
Software Architecture
-
Runtime Verification
-
Computer Safety, Reliability, and Security
-
Formal Techniques for Distributed Objects, Components, and Systems
-
Search-Based Software Engineering
-
Fields of Logic and Computation III
-
Web Services – ICWS 2020
-
Tests and Proofs
-
Formal Methods for Industrial Critical Systems
-
Software Language Engineering
-
Service-Oriented Computing--ICSOC 2013 Workshops
-
Services Computing – SCC 2020
-
Energy-Efficient Data Centers
-
Intelligent Tutoring Systems
-
Programming Languages and Systems
-
Foundations of Health Information Engineering and Systems
-
Rules and Reasoning
-
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
-
Selected Topics in Performance Evaluation and Benchmarking
-
Formal Methods for Components and Objects
-
Automated Technology for Verification and Analysis
-
OpenMP: Conquering the Full Hardware Spectrum
-
Computer Performance Engineering
-
ECOOP 2014 -- Object-Oriented Programming
-
Software Engineering
-
Software Engineering for Self-Adaptive Systems
-
Mathematical and Engineering Methods in Computer Science
-
Formal Methods: Foundations and Applications
-
Formal Aspects of Component Software
-
NASA Formal Methods
-
Large-Scale Complex IT Systems. Development, Operation and Management
-
Language Engineering and Rigorous Software Development
-
Foundations of Computer Software: Future Trends and Techniques for Development
-
Software Process and Product Measurement
-
Rule Interchange and Applications
-
Verified Software: Theorie, Tools, Experiments
-
Web Services and Formal Methods
-
Formal Methods for Eternal Networked Software Systems
-
Formal Methods for Executable Software Models
-
Formal Methods for Model-Driven Engineering
-
Formal Methods for Computational Systems Biology
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
-
Formal Methods for Multicore Programming
-
Formal Methods for Hardware Verification
-
Formal Methods for Web Services
-
Formal Methods for Dynamical Systems
-
Formal Methods for the Design of Real-Time Systems
-
Formal Methods for Performance Evaluation
-
Formal Methods for Software Architectures
Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems
| SKU | Unavailable |
| ISBN 13 | 9783540256977 |
| ISBN 10 | 3540256970 |
| Title | Formal Methods for Mobile Computing |
| Author | Marco Bernardo |
| Series | Programming And Software Engineering |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2005-04-13 |
| Number of pages | 272 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |