Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gorrieri, Roberto (Editor ), Wehrheim, Heike (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 4037
Temas:
Computer networks .
Computer programming.
Software engineering.
Operating systems (Computers).
Compilers (Computer programs).
Computer science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Operating Systems.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Descripción
Descripción Física:XII, 276 p. online resource.
ISBN:9783540348955
ISSN:2945-9168 ;

Ejemplares similares