Suchergebnisse
Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Softwareentwicklung 4 Treffer
- Formale Spezifikationstechnik 2 Treffer
- Komponente (Software) 2 Treffer
- Objektorientierung 2 Treffer
- Software Engineering 2 Treffer
-
12 weitere Werte:
- Systementwurf 2 Treffer
- Verifikation 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Entwurfsautomation 1 Treffer
- Hardwareentwurf 1 Treffer
- Inferenz (Künstliche Intelligenz) 1 Treffer
- Logischer Schluss 1 Treffer
- Model Checking 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- Qualitätssicherung 1 Treffer
- Softwarelebenszyklus 1 Treffer
Sprache
Standort
Quelle der Treffer
10 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
London: Springer, 2005Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
[1. ed.]. - London [u.a.]: Springer, 2003Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Academic Publishers, 2000Monographie, Gedruckte RessourceZugriff: