Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 4 Treffer
- inductive type 2 Treffer
- operational semantic 2 Treffer
- program counter 2 Treffer
- proof obligation 2 Treffer
-
44 weitere Werte:
- smart card 2 Treffer
- type theory 2 Treffer
- abstract interpretation 1 Treffer
- abstract machine 1 Treffer
- activation frame 1 Treffer
- call graph 1 Treffer
- canonical structure 1 Treffer
- class reference 1 Treffer
- consumable resource 1 Treffer
- correctness proof 1 Treffer
- dependent type 1 Treffer
- exception handling 1 Treffer
- formal proof 1 Treffer
- high order logic 1 Treffer
- induction hypothesis 1 Treffer
- induction principle 1 Treffer
- inference rule 1 Treffer
- instruction sequence 1 Treffer
- interpretation function 1 Treffer
- java program 1 Treffer
- java virtual machine 1 Treffer
- logic system 1 Treffer
- logical relation 1 Treffer
- machine representation 1 Treffer
- message passing 1 Treffer
- module type 1 Treffer
- object graph 1 Treffer
- prime divisor 1 Treffer
- prime number 1 Treffer
- program logic 1 Treffer
- program point 1 Treffer
- proof format 1 Treffer
- proof search 1 Treffer
- proof state 1 Treffer
- recursive function 1 Treffer
- reduction rule 1 Treffer
- reduction semantic 1 Treffer
- separation logic 1 Treffer
- shape analysis 1 Treffer
- side condition 1 Treffer
- symbolic execution 1 Treffer
- target language 1 Treffer
- translation function 1 Treffer
- type class 1 Treffer
Verlag
Publikation
- interactive theorem proving : first international conference, itp 2010, edinburgh, uk, july 11-14, 2010. proceedings 2 Treffer
- formal techniques for distributed objects, components, and systems : 35th ifip wg 6.1 international conference, forte 2015, held as part of the 10th international federated conference on distributed computing techniques, discotec 2015, grenoble, france, june 2-4, 2015, proceedings 1 Treffer
- functional and logic programming : 8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006. proceedings 1 Treffer
- fundamental approaches to software engineering : 7th international conference, fase 2004. held as part of the joint european conferences on theory and practice of software, etaps 2004, barcelona, spain, march 29 - april 2, 2004. proceedings 1 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 1 Treffer
-
9 weitere Werte:
- mathematics of program construction : 12th international conference, mpc 2015, konigswinter, germany, june 29--july 1, 2015. proceedings 1 Treffer
- programming languages and systems : 10th european symposium on programming, esop 2001 held as part of the joint european conferences on theory and practice of software, etaps 2001 genova, italy, april 2-6, 2001 proceedings 1 Treffer
- programming languages and systems : 19th european symposium on programming, esop 2010, held as part of the joint european conferences on theory and practice of software, etaps 2010, paphos, cyprus, march 20-28, 2010. proceedings 1 Treffer
- programming languages and systems : 7th asian symposium, aplas 2009, seoul, korea, december 14-16, 2009. proceedings 1 Treffer
- programming languages and systems : 9th european symposium on programming, esop 2000 held as part of the joint european conferences on theory and practice of software, etaps 2000 berlin, germany, march 25 - april 2, 2000 proceedings 1 Treffer
- theorem proving in higher order logics : 13th international conference, tphols 2000 portland, or, usa, august 14-18, 2000 proceedings 1 Treffer
- theorem proving in higher order logics : 15th international conference, tphols 2002 hampton, va, usa, august 20-23, 2002 proceedings 1 Treffer
- types for proofs and programs : international workshop, types 2004, jouy-en-josas, france, december 15-18, 2004, revised selected papers 1 Treffer
- verification, model checking, and abstract interpretation : third international workshop, vmcai 2002 venice, italy, january 21-22, 2002 revised papers 1 Treffer
15 Treffer
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
2002Online E-BookZugriff:
-
2015Online E-BookZugriff:
-
2015Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2001Online E-BookZugriff:
-
2000Online E-BookZugriff: