8 Ergebnisse für: Programmverifikation

  • Thumbnail
    http://www.mathematik.uni-marburg.de/~gumm/NPPV/nppv.html

    Keine Beschreibung vorhanden.

  • Thumbnail
    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…

  • Thumbnail
    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.…

  • Thumbnail
    https://av.tib.eu/search?f=creator%3Bhttp://d-nb.info/gnd/170465918

    Wissenschaftliche Filme aus Technik, Architektur, Chemie, Informatik, Mathematik, und Physik

  • Thumbnail
    https://av.tib.eu/search?f=creator%3Bhttp://d-nb.info/gnd/143160605

    Wissenschaftliche Filme aus Technik, Architektur, Chemie, Informatik, Mathematik, und Physik

  • Thumbnail
    http://www.informatik.rwth-aachen.de/cms/Informatik/Forschung/Forschungsbereiche/~mrys/Liste-der-Forschungsbereiche/

    Keine Beschreibung vorhanden.

  • Thumbnail
    https://av.tib.eu/search?f=creator%3Bhttp://d-nb.info/gnd/111889359

    Wissenschaftliche Filme aus Technik, Architektur, Chemie, Informatik, Mathematik, und Physik

  • Thumbnail
    http://www.henningweb.de/Studium/Softwaretechnik/Zusammenfassung-Softwaretechnik.htm

    Keine Beschreibung vorhanden.



Ähnliche Suchbegriffe