QR-Code

Mathematical theory of program correctness /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bakker, Jaco de
Weitere Verfasser:	Bruin, Arie de, Zucker, Jeffery
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Englewood Cliffs : Prentice-Hall, 1980
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Proving programs correct /
von: Anderson, Robert Brockett, 1941-
Veröffentlicht: (1979)

A program in BASIC for calculation of cavity theory corrections /
von: Christensen, Erling Bugge
Veröffentlicht: (1982)

AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
von: Wertz, H.
Veröffentlicht: (1987)

Formal foundations of correct programming /
von: Novitzká, Valerie
Veröffentlicht: (1999)

The theory of error-correcting codes /
von: MacWilliams, Florence Jessie
Veröffentlicht: (1981)

Computer programs for spelling correction : an experiment in program design /
von: Peterson, James L.
Veröffentlicht: (1980)

Thedesign of well-structures and correct programs /
von: Alagić, Suad, et al.
Veröffentlicht: (1978)

Introduction to the theory of error-correcting codes /
von: Pless, Vera
Veröffentlicht: (1982)

DEFECT CORRECTION METHODS. Theory and applications /
von: Böhmer, Klaus
Veröffentlicht: (1984)

MATHEMATICAL PROGRAMMING, theory and algorithms /
von: Minoux, Michel
Veröffentlicht: (1986)

Mathematical Programming and Game Theory
Veröffentlicht: (2018)

Theory of duality in mathematical programming /
von: Walk, Manfred
Veröffentlicht: (1989)

Mathematical programming : theory and methods /
von: Sinha, S. M.
Veröffentlicht: (2006)

Error-correcting codes /
von: Peterson, W. Wesley
Veröffentlicht: (1961)

Extensions and corrections to the UDC.
Veröffentlicht: (2005)

Extensions and corrections to the UDC.
Veröffentlicht: (2006)

The Practice of Correctional Psychology
Veröffentlicht: (2018)

Surgical Correction of Astigmatism
Veröffentlicht: (2018)

A mathematical theory of global program optimization /
von: Schaefer, Marvin
Veröffentlicht: (1973)

Journal of correctional health care

Customized Laser Vision Correction
Veröffentlicht: (2018)

Program correctness over abstract data types, with error-state semantics /
von: Tucker, John V.
Veröffentlicht: (1988)

COMPOSITIONALITY, CONCURRENCY AND PARTIAL CORRECTNESS. PROOF THEORIES FOR NETWORKS OF PROCESSES, AND THEIR CONNECTIONS /
von: Zwiers, Jakob
Veröffentlicht: (1988)

Extensions and corrections to the UDC. supplement: an extended place table
Veröffentlicht: (2005)

Foundations of the mathematical theory of structures /
von: Arantes e Oliveira, E. R. de
Veröffentlicht: (1975)

Mathematical programming : the state of the Art /
von: Carstens, Karl
Veröffentlicht: (1983)

A constructive method for the architectural design and correctness verification of real-time programs /
von: Saukkonen, Samuli
Veröffentlicht: (1983)

Studies on mathematical programming /
von: Bell, D. E.
Veröffentlicht: (1980)

Mathematical programming in Use /
von: Abbott, P.
Veröffentlicht: (1978)

Error-correction coding for digital communications /
von: Clark, George Cyril
Veröffentlicht: (1982)

MATHEMATICAL CONTROL THEORY /
von: Achundov, A. A.
Veröffentlicht: (1985)

MATHEMATICAL CONTROL THEORY /
von: Achundov, A. A.
Veröffentlicht: (1985)

Mathematical theory of reliability /
von: Barlow, Richard E., et al.
Veröffentlicht: (1965)

Theory of mathematical structures /
von: Adámek, Jiří
Veröffentlicht: (1983)

Mathematical theory of computation /
von: Manna, Zohar
Veröffentlicht: (1974)

Correcting the Scholarly Record for Research Integrity In the Aftermath of Plagiarism /
von: Dougherty, M. V.
Veröffentlicht: (2018)

Mathematical logic and programming languages /
von: Kowalski, R.
Veröffentlicht: (1985)

Mathematical programming. Structures and algorithms /
von: Shapiro, Jeremy F.
Veröffentlicht: (1979)

Optimal control by mathematical programming /
von: Tabak, Daniel, et al.
Veröffentlicht: (1971)

Error-correcting classification based on neural networks /
von: Utschick, Wolfgang
Veröffentlicht: (1998)