Axiomatising the logic of computer programming /
Na minha lista:
Autor principal: | Goldblatt, Robert. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/190347 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Advances in modal logic /
por: Schmidt, Renate.
Publicado em: (2022) -
Concepts, techniques, and models of computer programming /
por: Van-Roy, Peter., et al.
Publicado em: (2022) -
Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
por: Miculan, Marino., et al.
Publicado em: (2022) -
Algebraic semantics of imperative programs /
por: Goguen, Joseph., et al.
Publicado em: (2022) -
Nominal sets : names and symmetry in computer science /
por: Pitts, A. M.
Publicado em: (2022)