Capa do artigo Thinking Programs

Thinking Programs

Logical Modeling And Reasoning About Languages, Data, Computations, And Executions

de Wolfgang Schreiner
idioma: inglês
Editor: Springer Nature Switzerland AG, outubro de 2021 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro

Thinking Programs

Logical Modeling And Reasoning About Languages, Data, Computations, And Executions

de Wolfgang Schreiner

Propriedade Descrição
ISBN: 9783030805067
Editor: Springer Nature Switzerland AG
Data de Lançamento: outubro de 2021
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa dura
Páginas: 636
Tipo de produto: Livro
Coleção: Texts & Monographs In Symbolic Computation
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783030805067

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

WOLFGANG SCHREINER

VER MAIS TÍTULOS DESTE AUTOR