Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit
Seiten
1995
De Gruyter (Hersteller)
978-3-11-014764-3 (ISBN)
De Gruyter (Hersteller)
978-3-11-014764-3 (ISBN)
Lese- und Medienproben
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Aus dem Inhalt:
1. Einleitung
2. Bisherige Entwicklung auf dem Gebiet der Programmkorrektheitsbeweisführung
3. Eine praxisgerechte theoretische Grundlage für die Programmkorrektheitsbeweisführung
4. Bedeutung der Korrektheitsbeweisführung für die ingenieurmäßige Neukonstruktion eines Programms
5. Bedeutung der Korrektheitsbeweisführung für die Konstruktionsänderung in instabiler Umgebung
6. Anwendungsaufwand, Voraussetzungen und maschinelle Unterstützung für eine breitere Anwendungsakzeptanz
7. Spezielle Aspekte der Programmkorrektheitsbeweisführung
8. Schlußfolgerungen
| Reihe/Serie | Programmierung komplexer Systeme |
|---|---|
| Sprache | deutsch |
| Maße | 155 x 230 mm |
| Gewicht | 475 g |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Software Engineering / Softwareentwicklung • Softwareentwicklung |
| ISBN-10 | 3-11-014764-5 / 3110147645 |
| ISBN-13 | 978-3-11-014764-3 / 9783110147643 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
