Showing 1 - 2 results of 2 for search 'Schreiner, Wolfgang, 1967-', query time: 0.06s
Refine Results
-
1
Thinking programs logical modeling and reasoning about languages, data, computations, and executions / by Schreiner, Wolfgang, 1967-
Published 2021Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
2
Concrete abstractions : formalizing and analyzing discrete theories and algorithms with the RISCAL model checker / by Schreiner, Wolfgang, 1967-
Published 2023Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook
Search Tools:
RSS Feed
–
Save Search