The B language and method : A guide to practical formal development

Na minha lista:
Detalhes bibliográficos
Autor principal: Lano, Kevin (Author)
Formato: Livro
Idioma:inglês
Publicado em: London : Springer Verlag, 1996
Assuntos:
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Descrição
Descrição Física:232 s
ISBN:3-540-76033-4