Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 15 Treffer
- verificacion programa 15 Treffer
- verification programme 15 Treffer
- coq 11 Treffer
- informatique theorique 10 Treffer
-
45 weitere Werte:
- logiciel 10 Treffer
- software 10 Treffer
- theoretical computing 10 Treffer
- automatic proving 9 Treffer
- demonstration automatique 9 Treffer
- demostracion automatica 9 Treffer
- algorithmics. computability. computer arithmetics 7 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 7 Treffer
- genie logiciel 6 Treffer
- software engineering 6 Treffer
- formal verification 5 Treffer
- mathematics 5 Treffer
- mathematiques 5 Treffer
- programming language 5 Treffer
- verification formelle 5 Treffer
- langage programmation 4 Treffer
- lenguaje programacion 4 Treffer
- preuve programme 4 Treffer
- program proof 4 Treffer
- prueba programa 4 Treffer
- sciences and techniques of general use 4 Treffer
- sciences et techniques communes 4 Treffer
- computer systems and distributed systems. user interface 3 Treffer
- demonstration theoreme 3 Treffer
- demostracion teorema 3 Treffer
- fonctions logiques, booleennes et de commutation 3 Treffer
- langages de programmation 3 Treffer
- logic and foundations 3 Treffer
- logical, boolean and switching functions 3 Treffer
- logique et fondements 3 Treffer
- logique mathematique, fondements, theorie des ensembles 3 Treffer
- mathematical logic, foundations, set theory 3 Treffer
- programming languages 3 Treffer
- proof theory and constructive mathematics 3 Treffer
- semantica 3 Treffer
- semantics 3 Treffer
- semantique 3 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 3 Treffer
- theorem proving 3 Treffer
- theorie de la preuve et mathematiques constructives 3 Treffer
- theorie type 3 Treffer
- type theory 3 Treffer
- artificial intelligence 2 Treffer
- biblioteca programa 2 Treffer
- bibliotheque programme 2 Treffer
Verlag
Publikation
- tsi. technique et science informatiques 8 Treffer
- jfla 2001 : journees francophones des langages applicatifs (pontcarlier, 29-30 janvier 2001 ) 5 Treffer
- langages applicatifs : specification, programmation, verification 3 Treffer
- jfla 2002 : journees francophones des langages applicatifs (anglet, 28-29 janvier 2002) 2 Treffer
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- 3 weitere Werte:
18 Treffer
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 17-31KonferenzZugriff:
-
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: JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002), 2002, S. 101-116KonferenzZugriff:
-
In: MOVEP '98 : modélisation et vérification des processus parallèles (Nantes, 6-9 juillet 1998), 1998, S. 239-251KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 59-73KonferenzZugriff:
-
In: JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002), 2002, S. 27-42KonferenzZugriff:
-
In: TSI. Technique et science informatiques, Jg. 25 (2006), Heft 10, S. 1261-1280academicJournalZugriff:
-
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: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 49-58KonferenzZugriff:
-
In: L'éducation scientifique, 1997, Heft 14academicJournalZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 381-408academicJournalZugriff: