QR Code

Korrekte Software. Semantik, Spezifikation, Verifikation und Testen von Programmen /

Saved in:

Bibliographic Details
Main Author:	Kowalk, Wolfgang Peter
Format:	Book
Language:	German
Published:	Mannheim : Bibliographisches Institut, 1993
Edition:	[1. Aufl.]
ISBN:	3411160012
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Systematisches Testen mit Tensor /
by: Balzert, Helmut
Published: (1993)

Modellierung und Spezifikation von Diensten und Verhalten in verteilten Systemen /
by: Gotzhein, Reinhard
Published: (1985)

Eine relationale PROLOG-Semantik /
by: Weingärtner, Josef
Published: (1989)

ORDNUNGSTHEORETISCHE SEMANTIK APPROXIMATIVER BERECHNUNG /
by: Obermeier, Robert
Published: (1986)

SPEZIFIKATION GRAPHISCH INTERAKTIVER BENUTZERSCHNITTSTELLEN /
by: Schaub, Jutta
Published: (1987)

Algebraische Spezifikation. Eine Einführung /
by: Klaeren, Herbert Alois
Published: (1983)

Schnelle Überlastreduktion durch korrektives Schalten /
by: Medeiros, Manoel Firmino de Jr
Published: (1987)

Korrekte Zugriffe zu verteilten Daten /
by: Bender, Heinz
Published: (1983)

ERARBEITEN UND VERWALTEN VON NC-PROGRAMMEN IN DEZENTRALEN SYSTEMKONZEPTEN /
by: Rümmler, Günter
Published: (1988)

Computer im Vormarsch? Von Rechnern, Robotern und Programmen /
by: Gutzer, Hannes
Published: (1982)

Verifikation von Worthypothesen durch Halbsilbensynthese bei der automatischen Erkennung fliessender Sprache /
by: Romano-Rodríguez, Jorge
Published: (1989)

MODELLIERUNG UND SPEZIFIKATION AM BEISPIEL DES NACHRICHTENTRANSPORTS IN VERTEILTEN SYSTEMEN /
by: Hehn, Walter Uwe
Published: (1988)

Werkzeuge zur Optimierung von logischen Programmen : Erkenntnisse aus einem Vergleich mit attributierten Grammatiken /
by: Tsakpinis, Athanassios
Published: (1989)

Qualität und Zuverlässigkeit von Systemen, Programmen und Geräten der Informationstechnik : Tage der Wissenschaft und Technik, 5. - 7. 9. 1989 /
by: Hofmann, Dietrich
Published: (1989)

Automatische Generierung von Programmen für SIMD-Parallelrechner aus Spezifikationen /
by: Thalhofer, Klaus Dieter
Published: (1989)

Issledovanija po sintaksičeskoj semantike. Sfery dejstvija logičeskich slov /
by: Boguslavskij, Igor Michajlovič
Published: (1985)

ANWENDUNG VISKOPLASTISCHER STOFFGESETZE IN FINITE ELEMENT PROGRAMMEN /
by: Hornberger, Kurt
Published: (1988)

BEISPIELE ZUR DATENANALYSE MIT BASIC-PROGRAMMEN /
by: Henrion, Günter
Published: (1988)

Die Schnitstellen von UNIX-Programmen. Tips zur Programm-Organisation unter UNIX /
by: Fössmeier, Reinhard
Published: (1991)

Mathematik mit dem PC. Der effektive Einsatz von Computeralgebra-Programmen in Schule, Studium und Praxis /
by: Benker, Hans
Published: (1994)

Verkehrsanalyse in endlichen Zeiträumen. Grundlagen und Erweiterungen der operationalen Analyse /
by: Kowalk, Wolfgang
Published: (1982)

Erwerb und Nutzung von Software und Datenträgern in Bibliotheken /
by: Müller, Harald
Published: (1990)

Statistik für Benutzer programmierbarer Taschenrechner : mit 108 Programmen u. 14 Tab /
by: Sacher, Werner
Published: (1980)

Arbeitsbuch Mikrocomputer. Funktion und Anwendung von Mikrocomputern, Peripherie und Software /
by: Feichtinger, Herwig
Published: (1987)

Software-Metriken in der Praxis. Einführung und Anwendung von Software-Metriken in der industriellen Praxis /
by: Ebert, Christof
Published: (1996)

Software-Fehlertoleranz und -Zuverlässigkeit /
by: Best, Eike und Co
Published: (1984)

Standard-Software : Kriterien und Methoden zur Beurteilung und Auswahl von Software-Produkten /
by: Frank, Joachim
Published: (1980)

Photochemische und photophysikalische Eigenschaften von Hydroxy- und Methoxyanthrachinonen /
by: Busch, Wolfgang
Published: (1992)

Software-Qualität. Konzepte und Pläne /
by: Dunn, Robert H., et al.
Published: (1993)

Digitale Verarbeitung und Auswertung von Interferenzbildern /
by: Osten, Wolfgang
Published: (1991)

Synthese und Thermolyse von Dewar-Verbindungen /
by: Pritschins, Wolfgang
Published: (1982)

Erzeugung von Roheisen, Stahl und Ferrolegierungen /
by: Leonhardt, Wolfgang
Published: (1977)

Glasuren. Entwicklung und Eigenschaften von Töpfer- und Steingutglasuren. Das Reissen und Abplatzen der Glasuren und Ihre Kontrolle. Anleitung zum Berechnen von Glasuren /
by: Henze, Wolfgang
Published: (1951)

ELASTISCHES UND SPANNUNGSOPTISCHES VERHALTEN VON VERNETZTEN POLYMEREN UND POLYMER-FLÜSSIGKRISTALLEN /
by: Gleim, Wolfgang
Published: (1984)

Techniken und Werkzeuge für die Gewährleistung funktionaler Sicherheit von Software in technischen Systemen /
by: Maier, Thomas
Published: (2000)

Software.
Published: (2010)

Synthese, Struktur und Eigenschaften von Pyrazol- und Pyrazolatokomplexen des Zweiwertigen Platins /
by: Burger, Wolfgang
Published: (1984)

Sicherheitstechnische Optimierung und Beurteilung von Schutzvorhangsystemen für Holzbearbeitungszentren /
by: Knorr, Wolfgang
Published: (2007)

VERGLEICH VON MESSVERFAHREN, MESSSYSTEMEN UND GRENZWERTEN FÜR SCHWEFELDIOXID UND SCHWEBSTAUB IN ATMOSPHÄRISCHER LUFT /
by: Siggelkow, Wolfgang
Published: (1985)

The patentability of software : software as mathematics /
by: Hughes, Anton, (Lawyer)
Published: (2019)