Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Aoki, Toshiaki (Editor), Taguchi, Kenji (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edition:	1st ed. 2012.
Series:	Programming and Software Engineering, 7635
Subjects:	Software engineering. Computer programming. Compilers (Computer programs). Algorithms. Machine theory. Computer networks . Software Engineering. Programming Techniques. Compilers and Interpreters. Formal Languages and Automata Theory. Computer Communication Networks.
Online Access:	Texto Completo