Imagem da capa

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 /

Na minha lista:
Detalhes 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: Recurso Eletrônico livro eletrônico
Idioma:English
Publicado em: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edição:1st ed. 2005.
coleção:Programming and Software Engineering ; 3465
Assuntos:
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.
Acesso em linha:https://doi.org/10.1007/b135888
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://doi.org/10.1007/b135888

Registros relacionados