Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Schreiner, Wolfgang.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Concrete abstractionsformalizing and analyzing discrete theories and algorithms with the RISCAL model checker /
by: Schreiner, Wolfgang.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Mathematics
Mathematics of Computing.
Algorithms.
Computational Mathematics and Numerical Analysis.
Mathematical models.
Processing
...
Change password
Login
