:quality(100))
imagem ilustrativa
Temporal logic and state systems
Fred Kroger
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2008
- ISBN: 9783540674016
- Temporal logic and state systems
Descrição: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verifi... Veja mais