Lectures on the Logic of Computer Programming - Paperback - 1987
Zohar Manna
Estado :
Segunda-mão: Bom estado
Estados : Segunda-mão: Bom estado
Capa, contra-capa, cantos e páginas interiores podem apresentar vestígios de utilização.
Vendido por
País de expedição : França
Comentários do vendedor
Antigo livro de biblioteca. Pequeno(s) traço(s) de vincos na capa. Ligeiros sinais de desgaste na capa. Sujidade na borda. Edição 1980. Volume 31. Ammareal doa até 15% do valor líquido deste artigo para instituições de caridade.
Resumo
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Year of publication: 1987
Pagination: 53 pages
Format: Paperback
Serie: CBMSNSF Regional Conference Series in Applied Mathematics
Serie editor: Ron Rozier
Year of publication: 1987
Pagination: 53 pages
Format: Paperback
Serie: CBMSNSF Regional Conference Series in Applied Mathematics
Serie editor: Ron Rozier
Lectures on the Logic of Computer Programming - Paperback -...
Resumo
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Year of publication: 1987
Pagination: 53 pages
Format: Paperback
Serie: CBMSNSF Regional Conference Series in Applied Mathematics
Serie editor: Ron Rozier
Year of publication: 1987
Pagination: 53 pages
Format: Paperback
Serie: CBMSNSF Regional Conference Series in Applied Mathematics
Serie editor: Ron Rozier
Publicidade
Avaliações dos nossos clientes
Lectures on the Logic of Computer Programming - Paperback - 1987
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Society for Industrial & Applied Mathematics,U.S.
- Idiomas
-
Inglês
- Dimensão
-
228 x 152 x 8
- Peso
-
12
- Tema
-
Computer programming / software development|Mathematical theory of computation
- Origem
-
United States
- EAN
-
9780898711646
Publicidade
Publicidade