Weighted programming
a programming paradigm for specifying mathematical models
Batz, Kevin ; Gallus, Adrian ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Winkler, Tobias 2022 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/125750780X
- Titel
-
Weighted programming : a programming paradigm for specifying mathematical models
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
- Autor(en)
-
- Batz, Kevin
- Gallus, Adrian
- Kaminski, Benjamin Lucien
- Katoen, Joost-Pieter
- Winkler, Tobias
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2022]
- Jahr
- Erscheinungsdatum: 2022
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2022-04445
- Online
- https://doi.org/10.18154/RWTH-2022-04445
- Sprache
- eng
- Frühere/spätere Titel
-
- Enthalten in: In: 10.1145/3527310
- Enthalten in: In: 10.1145/3527310
- Enthalten in: In: 10.1145/3527310
- Stand
- 16.05.2022 18:01
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
