- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783519029908
3519029901
- Dimensions
-
23 cm
- Extent
-
300 S.
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 278 - 283
- Keyword
-
Programmierung
Effizienter Algorithmus
Korrektheit
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
2025-06-11T13:36:41+0200
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Dittmer, Ingo
- Teubner
Time of origin
- 1996
Other Objects (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