Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Bug (Informatik) 3 Treffer
- Programmverifikation 2 Treffer
- Softwareentwicklung 2 Treffer
- Beweis 1 Treffer
- Caché 1 Treffer
-
12 weitere Werte:
- Denkfehler 1 Treffer
- Echtzeitsystem 1 Treffer
- Eingebettetes System 1 Treffer
- Korrektheit 1 Treffer
- Objektorientierung 1 Treffer
- Programm 1 Treffer
- Programmanalyse 1 Treffer
- Programmierparadigma 1 Treffer
- Qualitätssicherung 1 Treffer
- Scheme (Programmiersprache) 1 Treffer
- Typentheorie 1 Treffer
- World Wide Web 1 Treffer
Form
Person
7 Treffer
-
1. Aufl., 1. korrigierter Nachdr.. - Beijing [u.a.]: O'Reilly, 2014Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2004Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1990Monographie, Gedruckte RessourceZugriff:
-
2., überarb. und erw. Aufl.. - Berlin [u.a.]: Springer, 2003Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Monographie, Gedruckte RessourceZugriff: