Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
tarafından
 
Schreiner, Wolfgang. author.

Başlık
: 
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Yazar
: 
Schreiner, Wolfgang. author.

ISBN
: 
9783031249341

Basım Bilgisi
: 
1st ed. 2023.

Fiziksel Tanımlama
: 
XII, 271 p. 79 illus., 53 illus. in color. online resource.

Seri
: 
Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,

İçerik
: 
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.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-031-24934-1


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap520401-1001ONLINEElektronik Kütüphane