Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formal methods 5 Treffer
- hoare logic 5 Treffer
- coinduction 4 Treffer
- formal verification 4 Treffer
- hypervisor 4 Treffer
-
27 weitere Werte:
- algorithms 2 Treffer
- coinduction (mathematics) 2 Treffer
- coinductive types 2 Treffer
- computable functions 2 Treffer
- logic 2 Treffer
- mathematical induction 2 Treffer
- problem solving 2 Treffer
- proof theory 2 Treffer
- reasoning 2 Treffer
- semantics 2 Treffer
- systems design 2 Treffer
- turing machines 2 Treffer
- work design 2 Treffer
- computer 1 Treffer
- computer science 1 Treffer
- computer.software_genre 1 Treffer
- correctness 1 Treffer
- formal proof 1 Treffer
- formal specification 1 Treffer
- program certification 1 Treffer
- programming language 1 Treffer
- proof assistant 1 Treffer
- separation logic 1 Treffer
- software 1 Treffer
- software architecture 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Verlag
Sprache
4 Treffer
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), S. 332-340Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-15), S. 31-51Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), Heft 3, S. 332-340Online academicJournalZugriff: