Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 3 Treffer
- formal verification 3 Treffer
- languages 3 Treffer
- preuve programme 3 Treffer
- program proof 3 Treffer
-
45 weitere Werte:
- proof theory 3 Treffer
- prueba programa 3 Treffer
- teoria demonstracion 3 Treffer
- theorie preuve 3 Treffer
- verification formelle 3 Treffer
- automatic proving 2 Treffer
- compilador 2 Treffer
- compilateur 2 Treffer
- compiler 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- enseignement 2 Treffer
- ensenanza 2 Treffer
- formal semantics 2 Treffer
- informatique theorique 2 Treffer
- ingenieria informatica 2 Treffer
- logiciel a securite critique 2 Treffer
- safety 2 Treffer
- safety-critical software 2 Treffer
- securite 2 Treffer
- seguridad 2 Treffer
- semantica 2 Treffer
- semantica formal 2 Treffer
- semantics 2 Treffer
- semantique 2 Treffer
- semantique formelle 2 Treffer
- teaching 2 Treffer
- theoretical computing 2 Treffer
- accesibilidad 1 Treffer
- access control 1 Treffer
- accessibilite 1 Treffer
- accessibility 1 Treffer
- arithmetique ordinateur 1 Treffer
- aritmetica ordenador 1 Treffer
- aspect oriented 1 Treffer
- aspect-oriented programming 1 Treffer
- assembler 1 Treffer
- assembly 1 Treffer
- c language 1 Treffer
- cerradura 1 Treffer
- closure 1 Treffer
- code commande 1 Treffer
- codigo control 1 Treffer
- compilacion 1 Treffer
- compilation 1 Treffer
Verlag
Publikation
- acm sigplan notices 3 Treffer
- langages applicatifs : specification, programmation, verification 3 Treffer
- tsi. technique et science informatiques 3 Treffer
- acm transactions on programming languages and systems 1 Treffer
- communications of the acm 1 Treffer
-
3 weitere Werte:
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 1 Treffer
- pldi'06: proceedings of the 2006 acm sigplan conference on programming language design and implementation, june 10-16, 2006, ottawa, ontario, canada 1 Treffer
- proceedings of the 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 1 Treffer
Sprache
8 Treffer
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1113-1138academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1139-1160academicJournalZugriff:
-
In: Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, Jg. 41 (2006), Heft 1, S. 42-54KonferenzZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1161-1185academicJournalZugriff:
-
In: Proceedings of the 2004 ACM SIGPLAN: International Conference on Functional Programming (ICFP'04), Snowbird, Utah, USA, September 19-21, Jg. 39 (2004), Heft 9, S. 175-188KonferenzZugriff:
-
In: PLDI'06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 10-16, Jg. 41 (2006), Heft 6, S. 401-414KonferenzZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 34 (2012), Heft 3Online academicJournalZugriff: