Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- compilers (computer programs) 3 Treffer
- programming languages 3 Treffer
- ad hoc computer networks 1 Treffer
- aspect-oriented programming 1 Treffer
- c (computer program language) 1 Treffer
-
22 weitere Werte:
- calculus 1 Treffer
- computer input-output equipment 1 Treffer
- computer programming 1 Treffer
- computer software development 1 Treffer
- concurrency 1 Treffer
- coq 1 Treffer
- determinism 1 Treffer
- interactive theorem proving 1 Treffer
- intuitionistic logic 1 Treffer
- multiprocessors 1 Treffer
- nuprl 1 Treffer
- saint hilaire method 1 Treffer
- semantic computing 1 Treffer
- sequentialization 1 Treffer
- software verification 1 Treffer
- source code 1 Treffer
- staircases 1 Treffer
- synchronous data transmission systems 1 Treffer
- type theory 1 Treffer
- typing 1 Treffer
- verification 1 Treffer
- verified compilation 1 Treffer
Publikation
Sprache
5 Treffer
-
In: Journal of the ACM, Jg. 66 (2019-04-01), Heft 2, S. 1-35Online academicJournalZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 20 (2021-09-02), S. 1-25Online academicJournalZugriff:
-
In: ICSE: International Conference on Software Engineering, 2017, S. 109-111Online KonferenzZugriff:
-
In: Journal of the ACM, Jg. 60 (2013-06-01), Heft 3, S. 1-50Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 34 (2012-10-01), Heft 3, S. 12:1- (43S.)Online academicJournalZugriff: