Foundations of algebraic specification and formal software development /
Na minha lista:
Principais autores: | Sannella, D., Tarlecki, Andrzej. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/212000 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Formal Methods and Software Engineering
por: Liu, Shaoying, et al.
Publicado em: (2022) -
Foundations of Software Science and Computational Structures
por: Amadio, Roberto, et al.
Publicado em: (2022) -
Aplicação do método B ao projeto formal de software embarcado
por: Medeiros Júnior, Valério Gutemberg de
Publicado em: (2015) -
Logics of Specification Languages
por: Bjørner, Dines., et al.
Publicado em: (2022) -
A Practical Programming Model for the Multi-Core Era
por: Chapman, Barbara, et al.
Publicado em: (2022)