Suchergebnisse
Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Softwareentwicklung 4 Treffer
- Formale Spezifikationstechnik 3 Treffer
- Verifikation 3 Treffer
- Komponente (Software) 2 Treffer
- Model Checking 2 Treffer
-
15 weitere Werte:
- Objektorientierung 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Algebraische Methode 1 Treffer
- Beweistheorie 1 Treffer
- Entwurfsautomation 1 Treffer
- Hardwareentwurf 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
- Programmierung 1 Treffer
- Reduktionssystem 1 Treffer
- Softwarelebenszyklus 1 Treffer
- Systementwicklung 1 Treffer
- Systementwurf 1 Treffer
- Typentheorie 1 Treffer
- Verbandstheorie 1 Treffer
Sprache
Standort
Quelle der Treffer
8 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: