Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 17 Treffer
- verificacion programa 17 Treffer
- verification programme 17 Treffer
- formal verification 11 Treffer
- verification formelle 11 Treffer
-
45 weitere Werte:
- informatique theorique 10 Treffer
- automatic proving 9 Treffer
- demonstration automatique 9 Treffer
- demostracion automatica 9 Treffer
- desarrollo logicial 9 Treffer
- developpement logiciel 9 Treffer
- software development 9 Treffer
- theoretical computing 9 Treffer
- langage programmation 8 Treffer
- langages de programmation 8 Treffer
- lenguaje programacion 8 Treffer
- programming language 8 Treffer
- programming languages 8 Treffer
- preuve programme 7 Treffer
- program proof 7 Treffer
- prueba programa 7 Treffer
- especificacion formal 6 Treffer
- formal method 6 Treffer
- formal specification 6 Treffer
- methode formelle 6 Treffer
- metodo formal 6 Treffer
- semantica 6 Treffer
- semantics 6 Treffer
- semantique 6 Treffer
- specification formelle 6 Treffer
- coq 5 Treffer
- demonstration theoreme 5 Treffer
- demostracion teorema 5 Treffer
- logic and foundations 5 Treffer
- logique et fondements 5 Treffer
- logique mathematique, fondements, theorie des ensembles 5 Treffer
- mathematical logic, foundations, set theory 5 Treffer
- mathematics 5 Treffer
- mathematiques 5 Treffer
- proof theory 5 Treffer
- sciences and techniques of general use 5 Treffer
- sciences et techniques communes 5 Treffer
- teoria demonstracion 5 Treffer
- theorem proving 5 Treffer
- theorie preuve 5 Treffer
- analisis programa 4 Treffer
- analyse programme 4 Treffer
- ingenieria logiciel 4 Treffer
- program analysis 4 Treffer
- proof theory and constructive mathematics 4 Treffer
Verlag
Publikation
- lecture notes in computer science 9 Treffer
- tsi. technique et science informatiques 6 Treffer
- acm sigplan notices 3 Treffer
- langages applicatifs : specification, programmation, verification 3 Treffer
- theoretical computer science 3 Treffer
-
22 weitere Werte:
- types for proofs and programs (aussois, 15-19 december 1996, selected papers) 3 Treffer
- 0icfem 2005 1 Treffer
- 0vmcai 2006 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- applied semantics 1 Treffer
- applied semantics: selected topics 1 Treffer
- communications of the acm 1 Treffer
- 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
- fase 2004 : fundamental approaches to software engineering (barcelona, 29 march - 2 april 2004) 1 Treffer
- 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
- fossacs 2004 : foundations of software science and computation structures (barcelona, 29 march - 2 april 2004) 1 Treffer
- high-level parallel programming and applications 1 Treffer
- ieee software 1 Treffer
- methodes formelles pour l'analyse statique et la compilation 1 Treffer
- parallel processing letters 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
- tacas 2000 : tools and algorithms for the construction and analysis of systems (berlin, 25 march - 2 april 2000) 1 Treffer
- verification, model checking, and abstract interpretation (7th international conference, vmcai 2006, charleston sc, usa, january 8-10, 2006) 1 Treffer
Sprache
27 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
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: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 277-293KonferenzZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 28-45KonferenzZugriff:
-
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: Theoretical computer science, Jg. 403 (2008), Heft 2-3, S. 133-159Online academicJournal
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1161-1185academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 23 (2004), Heft 7, S. 855-878academicJournalZugriff:
-
In: High-level parallel programming and applications, Jg. 13 (2003), Heft 3, S. 365-376Online academicJournalZugriff:
-
In: IEEE software, Jg. 29 (2012), Heft 3, S. 64-70Online 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: Applied Semantics: Selected Topics, Jg. 342 (2005), Heft 1, S. 56-78Online Konferenz
-
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: Applied semantics, Jg. 364 (2006), Heft 3, S. 273-291Online Konferenz
-
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: Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006), 2006, S. 174-189KonferenzZugriff:
-
In: FM 2005 : formal methods (Newcastle, 18-22 July 2005), 2005, S. 91-106KonferenzZugriff: