Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 9 Treffer
- Softwarespezifikation 5 Treffer
- Model Checking 4 Treffer
- Rechnernetz 4 Treffer
- Software 4 Treffer
-
29 weitere Werte:
- Softwareentwicklung 4 Treffer
- Testen 4 Treffer
- Verifikation 4 Treffer
- Verteiltes System 4 Treffer
- Komponente (Software) 3 Treffer
- Objektorientierung 3 Treffer
- Z (Programmiersprache) 3 Treffer
- Nebenläufigkeit 2 Treffer
- Systementwicklung 2 Treffer
- UML 2 Treffer
- VDM 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstrakter Automat 1 Treffer
- Compiler 1 Treffer
- Dampferzeuger 1 Treffer
- Diskrete Mathematik 1 Treffer
- Formale Beschreibungstechnik 1 Treffer
- Formale Semantik 1 Treffer
- Kommunikationsprotokoll 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Mathematische Methode 1 Treffer
- Petri-Netz 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Software Engineering 1 Treffer
- Softwarewerkzeug 1 Treffer
- Technisches System 1 Treffer
- Telekommunikationsnetz 1 Treffer
Sprache
Form
Person
- Boer, Frank S. de 3 Treffer
- Abrial, Jean-Raymond 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Diller, Antoni 1 Treffer
-
13 weitere Werte:
- Ehrig, Hartmut 1 Treffer
- Ford, Judith 1 Treffer
- Ford, Neville J. 1 Treffer
- Frutos-Escrig, David de 1 Treffer
- Gurevich, Yuri (1940-) 1 Treffer
- Harry, Andrew 1 Treffer
- Najm, Elie (1952-) 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Sheppard, Deri 1 Treffer
- Turner, Kenneth J. 1 Treffer
- Wang, Farn 1 Treffer
- Woodcock, Jim (1956-) 1 Treffer
- Zimmermann, Wolf 1 Treffer
19 Treffer
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: McGraw-Hill, 1995Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1993Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1996Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Chichester [u.a.]: Wiley, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: