Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- checkers 6 Treffer
- blockchains 3 Treffer
- c++ 3 Treffer
- contracts 3 Treffer
- debugging 3 Treffer
-
13 weitere Werte:
- deductive verification 3 Treffer
- event-b 3 Treffer
- functional programming 3 Treffer
- mathematical logic 3 Treffer
- popularity 3 Treffer
- program transformation 3 Treffer
- punched card systems 3 Treffer
- question (logic) 3 Treffer
- refinement 3 Treffer
- requirement 3 Treffer
- satisfiability (computer science) 3 Treffer
- software engineering 3 Treffer
- traffic engineering 3 Treffer
4 Treffer
-
In: Programming & Computer Software, Jg. 47 (2021-09-01), Heft 5, S. 344-352Online academicJournalZugriff:
-
In: Programming & Computer Software, Jg. 45 (2019-12-01), Heft 7, S. 365-371Online academicJournalZugriff:
-
In: Programming & Computer Software, Jg. 49 (2023-10-01), Heft 5, S. 470-483Online academicJournalZugriff:
-
In: Programming & Computer Software, Jg. 45 (2019-12-15), Heft 8, S. 590-599Online academicJournalZugriff: