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...

Fuld beskrivelse

Na minha lista:
Bibliografiske detaljer
Main Authors: International Conference on Formal Engineering Methods, Aoki, Toshiaki., Taguchi, Kenji.
Format: Livro
Sprog:Inglês
Udgivet: Springer Berlin Heidelberg, 2012
Udgivelse:1st ed. 2012.
Serier:Lecture notes in computer science
Fag:
Métodos formais (Computação)
Engenharia de software.
Programação de computadores.
Linguagens de programação (Cmputadores eletrônicos)
Algoritmos
Lógica matemática.
Sistemas de comunicação por computador.
Online adgang:https://minerva.ufrj.br/F/?func=direct&doc_number=000915115&local_base=UFR01
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker