Tools and algorithms for the construction and analysis of systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012, proceedings /

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/Ap...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: TACAS (Conferência), Flanagan, Cormac., König, Barbara
Formato: Livro
Idioma:Inglês
Publicado em: Springer Berlin Heidelberg, 2012
Edição:1st ed. 2012.
Colecção:Lecture notes in computer science
Assuntos:
Software de computador Verificação.
Engenharia de software.
Lógica do computador.
Sistemas de comunicação por computador.
Linguagens de programação (Computadores eletrônicos)
Inteligência artificial.
Programação de computadores.
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000915435&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados