Software verification and analysis an integrated, hands-on approach

Detalhes bibliográficos
Autor principal: Laski, Janusz
Outros Autores: Stanley, William
Formato: Livro
Idioma:English
Publicado em: London Springer c2009.
Assuntos: