Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- Entferne Filter: Schlagwort: software
- Entferne Filter: Schlagwort: soundness
- Entferne Filter: Schlagwort: [info.info-lo]computer science [cs]/logic in computer science [cs.lo]
- Entferne Filter: Schlagwort: acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs