Imaxe de 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 /

Gardado en:
Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros autores: Bernardo, Marco. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bogliolo, Alessandro. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Formato: Electrónico eBook
Idioma:English
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Series:Programming and Software Engineering ; 3465
Subjects:
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.
Acceso en liña:https://doi.org/10.1007/b135888
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Internet

https://doi.org/10.1007/b135888

Títulos similares