- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783519029908
3519029901
- Maße
-
23 cm
- Umfang
-
300 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. S. 278 - 283
- Schlagwort
-
Programmierung
Effizienter Algorithmus
Korrektheit
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:36 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Dittmer, Ingo
- Teubner
Entstanden
- 1996
Ähnliche Objekte (12)
Konstruktion korrekter Codegeneratoren für Speicherprogrammierbare Steuerungen
Konstruktion & Software
Software, [...]. Statik/Konstruktion
Software, [...]. Statik/Konstruktion
Beweisbar sichere Software
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Software Engineering paralleler Systeme : Grundlagen, Algorithmen, Programmierung
Software-Grafikprogramme, [...]. Statik, Konstruktion
"Korrekt"
Fehlerkorrigierende Codes für Quantensysteme : Konstruktionen und Algorithmen
Konstruktion effizienter Markov-Algorithmen durch Programm-Transformationen
Erbschaftsangelegenheiten : Testamente richtig formulieren, Vermögen sicher übertragen, Erbverträge korrekt aufsetzen
Konstruktion korrekter Codegeneratoren für Speicherprogrammierbare Steuerungen
Konstruktion & Software
Software, [...]. Statik/Konstruktion
Software, [...]. Statik/Konstruktion
Beweisbar sichere Software
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Software Engineering paralleler Systeme : Grundlagen, Algorithmen, Programmierung
Software-Grafikprogramme, [...]. Statik, Konstruktion
"Korrekt"
Fehlerkorrigierende Codes für Quantensysteme : Konstruktionen und Algorithmen
Konstruktion effizienter Markov-Algorithmen durch Programm-Transformationen
Erbschaftsangelegenheiten : Testamente richtig formulieren, Vermögen sicher übertragen, Erbverträge korrekt aufsetzen
Konstruktion korrekter Codegeneratoren für Speicherprogrammierbare Steuerungen
Konstruktion & Software
Software, [...]. Statik/Konstruktion
Software, [...]. Statik/Konstruktion
Beweisbar sichere Software
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen
Software Engineering paralleler Systeme : Grundlagen, Algorithmen, Programmierung
Software-Grafikprogramme, [...]. Statik, Konstruktion
"Korrekt"
Fehlerkorrigierende Codes für Quantensysteme : Konstruktionen und Algorithmen
Konstruktion effizienter Markov-Algorithmen durch Programm-Transformationen