Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 8 Treffer
- verificacion programa 8 Treffer
- verification programme 8 Treffer
- automatic proving 6 Treffer
- demonstration automatique 6 Treffer
-
45 weitere Werte:
- demostracion automatica 6 Treffer
- genie logiciel 6 Treffer
- software engineering 6 Treffer
- proof theory 4 Treffer
- teoria demonstracion 4 Treffer
- theorie preuve 4 Treffer
- c language 3 Treffer
- computer security 3 Treffer
- critical system 3 Treffer
- desarrollo logicial 3 Treffer
- developpement logiciel 3 Treffer
- informatique theorique 3 Treffer
- langage c 3 Treffer
- lenguaje c 3 Treffer
- logic and foundations 3 Treffer
- logiciel a securite critique 3 Treffer
- logique et fondements 3 Treffer
- logique mathematique, fondements, theorie des ensembles 3 Treffer
- mathematical logic, foundations, set theory 3 Treffer
- mathematics 3 Treffer
- mathematiques 3 Treffer
- memory organisation. data processing 3 Treffer
- modeling 3 Treffer
- modelisation 3 Treffer
- modelizacion 3 Treffer
- organisation des memoires. traitement des donnees 3 Treffer
- proof theory and constructive mathematics 3 Treffer
- safety-critical software 3 Treffer
- sciences and techniques of general use 3 Treffer
- sciences et techniques communes 3 Treffer
- securite informatique 3 Treffer
- seguridad informatica 3 Treffer
- software development 3 Treffer
- systeme critique 3 Treffer
- theoretical computing 3 Treffer
- theorie de la preuve et mathematiques constructives 3 Treffer
- verificacion formal 3 Treffer
- certificacion 2 Treffer
- certification 2 Treffer
- code generation 2 Treffer
- cognition 2 Treffer
- compilador 2 Treffer
- compilateur 2 Treffer
- compiler 2 Treffer
- computer systems performance. reliability 2 Treffer
Verlag
Publikation
- lecture notes in computer science 4 Treffer
- journal of automated reasoning 2 Treffer
- 0icfem 2005 1 Treffer
- acm sigplan notices 1 Treffer
- communications of the acm 1 Treffer
-
8 weitere Werte:
- fm 2005 : formal methods (newcastle, 18-22 july 2005) 1 Treffer
- fm 2006 (formal methods) 1 Treffer
- formal methods and software engineering (7th international conference on formal engineering methods, icfem 2005, manchester, uk, november 1-4, 2005) 1 Treffer
- formal methods and software engineering (singapore, 5-7 november 2003) 1 Treffer
- methodes formelles pour l'analyse statique et la compilation 1 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 1 Treffer
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 1 Treffer
- tsi. technique et science informatiques 1 Treffer
Sprache
10 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 1, S. 63-103Online academicJournalZugriff:
-
In: FM 2006 (formal methods), 2006, S. 460-475KonferenzZugriff:
-
In: Formal methods and software engineering (7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005), 2005, S. 280-299KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 66-77KonferenzZugriff:
-
In: TLCA 2005 : typed lambda calculi and applications (Nara, 21-23 April 2005), 2005, S. 278-292KonferenzZugriff:
-
In: FM 2005 : formal methods (Newcastle, 18-22 July 2005), 2005, S. 91-106KonferenzZugriff:
-
In: Formal methods and software engineering (Singapore, 5-7 November 2003), 2003, S. 359-374KonferenzZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff: