Imagem da capa

Real-time systems formal specification and automatic verification

Detalhes bibliográficos
Autor principal: Olderog, E.-R
Outros Autores: Dierks, H.
Formato: Livro
Idioma:inglês
Publicado em: Cambridge, England Cambridge University Press 2008.
Assuntos:
Real-time data processing.