Cargando…

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Butler, Michael (Editor ), Hinchey, Michael G. (Editor ), Larrondo-Petrie, Maria M. (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:	1st ed. 2007.
Colección:	Programming and Software Engineering, 4789
Temas:	Software engineering. Computer programming. Computer science. Compilers (Computer programs). Software Engineering. Programming Techniques. Models of Computation. Computer Science Logic and Foundations of Programming. Compilers and Interpreters.
Acceso en línea:	Texto Completo

Internet

Texto Completo

Error inesperado del formato de respuesta.