Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 1 Treffer
- acm: d.: software/d.3: programming languages/d.3.4: processors/d.3.4.1: compilers 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- 10 weitere Werte:
Verlag
Sprache
2 Treffer
-
In: Communications of the ACM, Jg. 52 (2009-07-01), S. 107-115Online unknownZugriff: