Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Schreiner, Wolfgang.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Concrete abstractions = formalizing 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 of Computing. Algorithms. Computational Mathematics and Numerical Analysis. Mathematical models. Mathematics- Data processing.

Change password

Login