Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- acl2 1 Treffer
- bytecode 1 Treffer
- code (cryptography) 1 Treffer
- code generation 1 Treffer
- computer.file_format 1 Treffer
-
12 weitere Werte:
- correctness 1 Treffer
- executable 1 Treffer
- functional programming 1 Treffer
- java 1 Treffer
- java bytecode 1 Treffer
- modularity 1 Treffer
- proof assistant 1 Treffer
- security analysis 1 Treffer
- security of systems 1 Treffer
- simple (abstract algebra) 1 Treffer
- software_programminglanguages 1 Treffer
- unification 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Formal Aspects of Computing, Jg. 20 (2008-05-01), S. 259-275Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 19 (2007), Heft 2, S. 191-203Online unknownZugriff: