Concrete Abstractions

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Schreiner, Wolfgang

Springer International Publishing AG

04/2024

271

Mole

9783031249365

15 a 20 dias

Descrição não disponível.
1. Theories and Algorithms.- 2. Searching and Sorting.- 3. Sets, Relations, and Graphs.- 4. Propositional Logic.- 5. Big Number and Polynomial Arithmetic.- 6. Puzzles and Games.- 7. Concurrent Systems.- 8. Further Topics.- Appendices.- 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;model checking;formal modeling ans reasoning;program specification and verification;discrete structures and algorithms;nondeterminism and concurrency;mathematics and computer science education