Next: You will receive a Up: Domain Science & Engineering Previous: Lecturer Contents
| [0] |
Dines Bjørner
, Domain Science and Engineering, A Primer , September 2022; [0p] : Tutorial Text (xii+130+76 pages) and [0s] : Tutorial Slides (623 slides) |
| [1] |
Dines Bjørner
, Domain Science and Engineering, A Foundation for Software Development ; Springer; The EATCS Monograph Series; xviii + 401 pages; November 11, 2021; Hardcover ISBN 978-3-030-73483-1, Series ISSN 1431-2654 https://link.springer.com/book/10.1007/978-3-030-73484-8 |
| [2] |
Dines Bjørner
, Rigorous Domain Descriptions, A Compendium of Examples, viii + 510 pages, Fall 2021 http://www.imm.dtu.dk/˜dibj/2021/dd/dd.pdf
|