Rigorous Software Development Livro

• http://dx.doi.org/10.1007/978-0-85729-018-2
• https://www.authenticus.pt/P-00A-8WS

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver Todos
•  

Visão geral

autores

• Frade, MJ
• José Carlos Bacelar Almeida
• Almeida, José Bacelar
• Pinto, Jorge Sousa
• Melo de Sousa, Simão

data de publicação

• 2011

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Pesquisas

palavras-chave

• ACSL
• First-order Logic
• Formal Methods
• Hoare Logic
• Program Verification
• Propositional Logic

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-0-85729-018-2