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
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.