Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
- 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
- Entferne Filter: Schlagwort: [info.info-ia]computer science [cs]/computer aided engineering
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- acm: d.: software/d.2: software engineering/d.2.7: distribution 2 Treffer
- and enhancement 2 Treffer
- maintenance 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.7: distribution, maintenance, and enhancement 1 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.3: studies of program constructs 1 Treffer
Sprache
Geographischer Bezug
1 Treffer
-
In: Conférence en IngénieriE du Logiciel ; https://inria.hal.science/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France, 2012Online KonferenzZugriff: