Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Concrete Abstractions
ID: 3390443

Creatori:

(1236216) Schreiner Wolfgang 1967-

Espandi persona

...