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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bernardo, Marco (Editor ), Bogliolo, Alessandro (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Programming and Software Engineering, 3465
Temas:
Computer networks .
Software engineering.
Compilers (Computer programs).
Computer science.
Computers, Special purpose.
Computer Communication Networks.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Acceso en línea:Texto Completo

Internet

Texto Completo

Error inesperado del formato de respuesta.
Detalle de Existencias desde

Ejemplares similares