Concrete abstractions : formalizing and analyzing discrete theories and algorithms with the RISCAL model checker

Author(s)

• Schreiner, Wolfgang

Bibliographic Information

Concrete abstractions : formalizing and analyzing discrete theories and algorithms with the RISCAL model checker

Wolfgang Schreiner

（Texts and monographs in symbolic computation）

Springer, [2023] , , c2023

Note

Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)

Includes bibliographical references (pages 261-265) and index

Details

• NCID: BD09748182
• ISBN:
  • 9783031249365
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xii, 270 pages
• Size: 24 cm
• Classification:
  • DC23 : 511.8
• Subject Headings:
  • LCSH : Mathematical models
  • LCSH : Mathematics -- Data processing
  • LCSH : Algorithms
• Parent Bibliography ID:
  • BA20803475