Grundlagenforschung für vertrauenswürdige Software (eBook, PDF)
Versandkostenfrei!
Sofort per Download lieferbar
Statt: 119,99 €**
89,99 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Gebundenes Buch)
Alle Infos zum eBook verschenkenWeitere Ausgaben:
PAYBACK Punkte
45 °P sammeln!
Dieses Buch gibt einen Überblick über das Forschungsprojekt "The Fundamental Research for Trustworthy Software" des NSFC und stellt die Forschungsergebnisse sowie Erfolge vor.Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen: Messung und Modellierung der Vertrauenswürdigkeit von Software Konstruktion und Verifizierung vertrauenswürdiger Software Entwicklung und Kontrolle vertrauenswürdiger Software Konstruktion und Bewertung einer vertrauenswürdigen Umgebung. Es konzentriert sich auf die Glaubwürdigkeit von Embedded Software und Netzwerkanwendungssoftware und nimmt di...
Dieses Buch gibt einen Überblick über das Forschungsprojekt "The Fundamental Research for Trustworthy Software" des NSFC und stellt die Forschungsergebnisse sowie Erfolge vor.
Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen:
Es konzentriert sich auf die Glaubwürdigkeit von Embedded Software und Netzwerkanwendungssoftware und nimmt die Glaubwürdigkeit von Software in nationalen Schlüsselanwendungsbereichen als einen Durchbruch, um einen Forschungsrahmen für die Grundlagenforschung von vertrauenswürdiger Software zu schaffen.
Dieses Buch ist eine Übersetzung, die mit Hilfe von künstlicher Intelligenz maschinell angefertigt und anschließend von einem professionellen Lektor inhaltlich und sprachlich überarbeitet wurde. Dennoch kann sich der Text des Buches stilistisch von einer konventionellen Übersetzung unterscheiden. Springer Nature arbeitet bei der Publikation von Büchern kontinuierlich mit innovativen Technologien, um die Arbeit der Autoren unterstützen.
Der Herausgeber: Prof. Jifeng He schloss 1965 sein Studium der Mathematik an der Fudan-Universität in China ab. Er war Senior Research Fellow in der Programming Research Group des Oxford University Computing Laboratory. Seit 1986 ist Jifeng He Professor für Informatik an der East China Normal University in Shanghai, China. Im Jahr 2005 wurde er zum Akademiemitglied der Chinesischen Akademie der Wissenschaften gewählt.
Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen:
- Messung und Modellierung der Vertrauenswürdigkeit von Software
- Konstruktion und Verifizierung vertrauenswürdiger Software
- Entwicklung und Kontrolle vertrauenswürdiger Software
- Konstruktion und Bewertung einer vertrauenswürdigen Umgebung.
Es konzentriert sich auf die Glaubwürdigkeit von Embedded Software und Netzwerkanwendungssoftware und nimmt die Glaubwürdigkeit von Software in nationalen Schlüsselanwendungsbereichen als einen Durchbruch, um einen Forschungsrahmen für die Grundlagenforschung von vertrauenswürdiger Software zu schaffen.
Dieses Buch ist eine Übersetzung, die mit Hilfe von künstlicher Intelligenz maschinell angefertigt und anschließend von einem professionellen Lektor inhaltlich und sprachlich überarbeitet wurde. Dennoch kann sich der Text des Buches stilistisch von einer konventionellen Übersetzung unterscheiden. Springer Nature arbeitet bei der Publikation von Büchern kontinuierlich mit innovativen Technologien, um die Arbeit der Autoren unterstützen.
Der Herausgeber: Prof. Jifeng He schloss 1965 sein Studium der Mathematik an der Fudan-Universität in China ab. Er war Senior Research Fellow in der Programming Research Group des Oxford University Computing Laboratory. Seit 1986 ist Jifeng He Professor für Informatik an der East China Normal University in Shanghai, China. Im Jahr 2005 wurde er zum Akademiemitglied der Chinesischen Akademie der Wissenschaften gewählt.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
