Fortell venner om denne varen:
Domain Science and Engineering: A Foundation for Software Development - Monographs in Theoretical Computer Science. An EATCS Series Dines Bjørner 2021 edition
Pris
NOK 1.659
Bestillingsvarer
Forventes levert 23. okt - 2. nov
Få varsel om nye utgivelser fra Dines Bjørner
Legg til iMusic ønskeliste
eller
Finnes også som:
Domain Science and Engineering: A Foundation for Software Development - Monographs in Theoretical Computer Science. An EATCS Series
Dines Bjørner
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions.
401 pages, 19 Illustrations, color; 25 Illustrations, black and white; XVIII, 401 p. 44 illus., 19 i
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 10. november 2022 |
| ISBN13 | 9783030734862 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 401 |
| Mål | 150 × 220 × 10 mm · 795 g |
| Språk | Tysk |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Pocketbok) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Innbunden bok) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-innbunden-bok&class=scaled&v=1778118707)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Innbunden bok) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-innbunden-bok&class=scaled&v=1604147403)
![Cover for Armen Gulian · Shortcut to Superconductivity: Superconducting Electronics via COMSOL Modeling (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/297/9783032255297.jpg?armen-gulian-2027-shortcut-to-superconductivity-superconducting-electronics-via-comsol-modeling-innbunden-bok&class=scaled&v=1780400084)
![Cover for Joseph F. Hair Jr. · Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R: A Workbook - Classroom Companion: Business (Innbunden bok) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/214/9783032283214.jpg?joseph-f-hair-jr-2027-partial-least-squares-structural-equation-modeling-pls-sem-using-r-a-workbook-classroom-companion-business-innbunden-bok&class=scaled&v=1780320212)
![Cover for Sandro Skansi · Introduction to Deep Learning: Neural Networks, Large Language Models and Agentic AI - Undergraduate Topics in Computer Science (Pocketbok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/597/9783032254597.jpg?sandro-skansi-2027-introduction-to-deep-learning-neural-networks-large-language-models-and-agentic-ai-undergraduate-topics-in-computer-science-pocketbok&class=scaled&v=1780344601)
![Cover for Handbook of Exoplanets (Innbunden bok) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/552/9783032068552.jpg?2027-handbook-of-exoplanets-innbunden-bok&class=scaled&v=1780328218)
