Thinking Programs
portes grátis
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Schreiner, Wolfgang
Springer Nature Switzerland AG
10/2021
636
Dura
Inglês
9783030805067
15 a 20 dias
1166
Descrição não disponível.
Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
logic in computer science;first-order logic;formal reasoning;formal semantics;formal methods;formal modeling;program specification;program verification;abstract datatypes;universal algebra;denotational semantics;operational semantics;axiomatic semantics;concurrent systems;temporal logic;computer aided verification;automated reasoning
Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
logic in computer science;first-order logic;formal reasoning;formal semantics;formal methods;formal modeling;program specification;program verification;abstract datatypes;universal algebra;denotational semantics;operational semantics;axiomatic semantics;concurrent systems;temporal logic;computer aided verification;automated reasoning
