8 Ergebnisse für: Programmverifikation
-
-
Programm • Definition | Gabler Wirtschaftslexikon
http://wirtschaftslexikon.gabler.de/Definition/programm.html
Lexikon Online ᐅProgramm: Computerprogramm. 1. Allgemein: in der Informatik Darstellung eines Problemlösungsverfahrens in einer für den Computer verständlichen Form. Programme werden in einer Programmiersprache formuliert. 2. Speziell: bei Verwendung…
-
Aqion | Software-Wiki | FANDOM powered by Wikia
http://de.software.wikia.com/index.php?title=Aqion
Aqion ist ein Hydrochemie-Programm zur Berechnung/Behandlung "einfacher" wasser-relevanter Aufgaben aus der täglichen Praxis. Das Programm aqion ist frei für den privaten Gebrauch, für die Ausbildung sowie für den kommerziellen Gebrauch.…
-
TIB AV-Portal
https://av.tib.eu/search?f=creator%3Bhttp://d-nb.info/gnd/170465918
Wissenschaftliche Filme aus Technik, Architektur, Chemie, Informatik, Mathematik, und Physik
-
TIB AV-Portal
https://av.tib.eu/search?f=creator%3Bhttp://d-nb.info/gnd/143160605
Wissenschaftliche Filme aus Technik, Architektur, Chemie, Informatik, Mathematik, und Physik
-
Liste der Forschungsbereiche - RWTH AACHEN UNIVERSITY Fachgruppe Informatik - Deutsch
http://www.informatik.rwth-aachen.de/cms/Informatik/Forschung/Forschungsbereiche/~mrys/Liste-der-Forschungsbereiche/
Keine Beschreibung vorhanden.
-
TIB AV-Portal
https://av.tib.eu/search?f=creator%3Bhttp://d-nb.info/gnd/111889359
Wissenschaftliche Filme aus Technik, Architektur, Chemie, Informatik, Mathematik, und Physik
-
Zusammenfassung-Softwaretechnik
http://www.henningweb.de/Studium/Softwaretechnik/Zusammenfassung-Softwaretechnik.htm
Keine Beschreibung vorhanden.