Order-Sorted Equational Computation
Smolka, Gert ; Nutt, Werner ; Goguen, Joseph ; Meseguer, José 2023 Saarländische Universitäts- und Landesbibliothek
- Link zu diesem Datensatz
-
https://d-nb.info/1299279546
- Titel
-
Order-Sorted Equational Computation
- Art des Inhalts
- Monographie
- Verfassangaben
- Gert Smolka, Werner Nutt, Joseph A. Goguen, José Meseguer
- Autor(en)
-
- Smolka, Gert
- Nutt, Werner
- Goguen, Joseph
- Meseguer, José
- Verlag
- Saarbrücken : Saarländische Universitäts- und Landesbibliothek [2023]
- Jahr
- Erscheinungsdatum: 2023
- Umfang/Format
- Online-Ressource
- DOI
- 10.22028/D291-40156
- Online
- https://doi.org/10.22028/D291-40156
- Sprache
- eng
- Schlagwörter
-
- Stand
- 24.10.2025 09:45
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
