Imatge de la portada

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 /

Guardat en:
Dades bibliogràfiques
Autor corporatiu: SpringerLink (Online service)
Altres autors: Bernardo, Marco. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bogliolo, Alessandro. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electrònic eBook
Idioma:English
Publicat: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edició:1st ed. 2005.
Periòdiques:Programming and Software Engineering ; 3465
Matèries:
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Special purpose computers.
Computer Communication Networks.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Accés en línia:https://doi.org/10.1007/b135888
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Internet

https://doi.org/10.1007/b135888

Ítems similars