Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 7 Treffer
- Softwarespezifikation 6 Treffer
- Formale Spezifikationstechnik 5 Treffer
- Model Checking 5 Treffer
- Qualitätssicherung 5 Treffer
-
30 weitere Werte:
- Rechnernetz 5 Treffer
- Verteiltes System 5 Treffer
- Softwareentwicklung 4 Treffer
- Kommunikationssystem 3 Treffer
- Softwaretest 3 Treffer
- Telekommunikationsnetz 3 Treffer
- Anwendungssystem 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Objektorientierung 2 Treffer
- Verifikation 2 Treffer
- Zuverlässigkeit 2 Treffer
- Agile Softwareentwicklung 1 Treffer
- Agile software development 1 Treffer
- Application software / Development 1 Treffer
- Computer software / Reliability 1 Treffer
- Endlicher Automat 1 Treffer
- Fehlerbehandlung 1 Treffer
- Hardwareentwurf 1 Treffer
- IP 1 Treffer
- Korrektheit 1 Treffer
- Lebenszyklus (Wirtschaft) 1 Treffer
- Programmcode 1 Treffer
- Qualitätsmanagement 1 Treffer
- Reaktives System 1 Treffer
- Software Engineering 1 Treffer
- Softwarelebenszyklus 1 Treffer
- Softwaremetrie 1 Treffer
- Softwareproduktion 1 Treffer
- Testmustergenerierung 1 Treffer
- Transitionssystem 1 Treffer
Sprache
Form
Person
- Dustin, Elfriede 2 Treffer
- Linz, Tilo (197X-) 2 Treffer
- Paul, John (1968-) 2 Treffer
- Rashka, Jeff 2 Treffer
- Roper, Marc 2 Treffer
-
29 weitere Werte:
- Spillner, Andreas (1951-) 2 Treffer
- Bashir, Imran 1 Treffer
- Beck, Kent 1 Treffer
- Beizer, Boris (1934-) 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Conradi, Reidar 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- Goel, Amrit L. 1 Treffer
- Grabowski, Jens 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Grimm, Klaus 1 Treffer
- Groz, Roland 1 Treffer
- Hogrefe, Dieter (1958-) 1 Treffer
- Khendek, Ferhat 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Liggesmeyer, Peter (1963-) 1 Treffer
- Martin, Robert C. (1952-) 1 Treffer
- Müllerburg, Monika 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Parrington, Norman 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Perry, William E. 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Poston, Robert M. 1 Treffer
- Riedemann, Eike Hagen (1945-) 1 Treffer
- Rätzmann, Manfred 1 Treffer
- Thaller, Georg Erwin 1 Treffer
- Wang, Farn 1 Treffer
32 Treffer
-
2. Aufl.. - Heidelberg: Spektrum, Akad. Verl, 2009Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester: Horwood [u.a.], 1989Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Upper Saddle River, NJ [u.a.]: Prentice Hall, 2009Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., überarb. Aufl.. - Heidelberg: dpunkt-Verl, 2004Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1995Monographie, Gedruckte RessourceZugriff:
-
2. print.. - Boston [u.a.]: Addison-Wesley, 2003Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1995Monographie, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1996Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff: