Formal Methods for Mobile Computing by Communication and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessendro Bogliolo
| ISBN: | 9783540256977 |
| Publication date: | 13th April 2005 |
| Author: | Communication and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessendro Bogliolo |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 270 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Network hardware Expert systems / knowledge-based systems Compilers and interpreters Software Engineering Mathematical theory of computation |
Formal Methods for Mobile Computing by Communication and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessendro Bogliolo
Formal Methods for Mobile Computing features in the following genres: Network hardware, Expert systems / knowledge-based systems, Compilers and interpreters, Software Engineering, Mathematical theory of computation
Paperback. Not Available.
Formal Methods for Mobile Computing was written by Communication and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessendro Bogliolo and published by Springer an imprint of Springer Berlin Heidelberg
Formal Methods for Mobile Computing has 270 pages
Yes it is part of Lecture Notes in Computer Science series