Programmentwicklung und Verifikation

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

ISBN: 9783211818671
3211818677
9780387818672
0387818677

Maße: 25 cm

Umfang: IX, 183 S.

Sprache: Deutsch

Anmerkungen: graph. Darst.

Schlagwort: Softwareentwicklung
Programmverifikation
Verifikation (Datenverarbeitung)
Programm (Datenverarbeitung)
Programmierung (Datenverarbeitung)
Programm
Programmierung

Ereignis: Veröffentlichung

(wo): Wien, New York

(wer): Springer

(wann): 1989

Urheber: Futschek, Gerald

Inhaltsverzeichnis: https://d-nb.info/890508658/04

Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Letzte Aktualisierung: 11.06.2025, 14:11 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Futschek, Gerald
Springer

Entstanden

1989

Ähnliche Objekte (12)

Algorithmische Sprache und Programmentwicklung

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Programmentwicklung

Digitale Hardware-Software-Systeme : Spezifikation und Verifikation

Hochschulschrift

Programmentwicklung im Dialog

Programmentwicklung unter UNIX

Grundlagen systematischer Programmentwicklung

Online-Publikation

Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken

PES, Programmentwicklungssystem : syntaxorientierte Programmentwicklung

Software : Programmentwicklung u. Projektorganisation

Algorithmische Sprache und Programmentwicklung

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Programmentwicklung

Digitale Hardware-Software-Systeme : Spezifikation und Verifikation

Hochschulschrift

Programmentwicklung im Dialog

Programmentwicklung unter UNIX

Grundlagen systematischer Programmentwicklung

Online-Publikation

Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken

PES, Programmentwicklungssystem : syntaxorientierte Programmentwicklung

Software : Programmentwicklung u. Projektorganisation

Algorithmische Sprache und Programmentwicklung

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Programmentwicklung

Digitale Hardware-Software-Systeme : Spezifikation und Verifikation

Hochschulschrift

Programmentwicklung im Dialog

Programmentwicklung unter UNIX

Grundlagen systematischer Programmentwicklung

Online-Publikation

Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken

PES, Programmentwicklungssystem : syntaxorientierte Programmentwicklung

Software : Programmentwicklung u. Projektorganisation

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Programmentwicklung und Verifikation

Angaben zum Objekt

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Beteiligte

Entstanden

Ähnliche Objekte (12)

Algorithmische Sprache und Programmentwicklung

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Programmentwicklung

Programmentwicklung

Programmentwicklung

Digitale Hardware-Software-Systeme : Spezifikation und Verifikation

Programmentwicklung im Dialog

Programmentwicklung unter UNIX

Grundlagen systematischer Programmentwicklung

Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken

PES, Programmentwicklungssystem : syntaxorientierte Programmentwicklung

Software : Programmentwicklung u. Projektorganisation

Algorithmische Sprache und Programmentwicklung

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Programmentwicklung

Programmentwicklung

Programmentwicklung

Digitale Hardware-Software-Systeme : Spezifikation und Verifikation

Programmentwicklung im Dialog

Programmentwicklung unter UNIX

Grundlagen systematischer Programmentwicklung

Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken

PES, Programmentwicklungssystem : syntaxorientierte Programmentwicklung

Software : Programmentwicklung u. Projektorganisation

Algorithmische Sprache und Programmentwicklung

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Programmentwicklung

Programmentwicklung

Programmentwicklung

Digitale Hardware-Software-Systeme : Spezifikation und Verifikation

Programmentwicklung im Dialog

Programmentwicklung unter UNIX

Grundlagen systematischer Programmentwicklung

Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken

PES, Programmentwicklungssystem : syntaxorientierte Programmentwicklung

Software : Programmentwicklung u. Projektorganisation

Verbundene Objekte

Passwort zurücksetzen