QR-Code

Program correctness over abstract data types, with error-state semantics /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tucker, John V.
Weitere Verfasser:	Zucker, Jeffery I.
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Amsterdam : North-Holland Publishing, 1988
Ausgabe:	[1st ed.]
Schriftenreihe:	CWI monograph Vol. 6
Schlagworte:	overovanie
ISBN:	0444703403
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Semantics of data types : Internat. symp., Sophia-Antipolis, France, /
von: Burstall, R.
Veröffentlicht: (1984)

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

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

Continuous authentication using biometrics : data, models, and metrics /
Veröffentlicht: (2012)

Experimentálne overovanie konštrukcií /
von: Kereškényi, Ján
Veröffentlicht: (1988)

Bibliography on abstract data types /
von: Kutzler, B., et al.
Veröffentlicht: (1983)

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

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

Experimentální ověřování ve výstavbě /
von: Procházka, Josef
Veröffentlicht: (1988)

Experimentálne overovanie konštrukcií /
von: Kereškényi, Ján
Veröffentlicht: (1984)

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

Správní právo. Příručka pro ověřování zvláštní odborné způsobilosti pracovníků okresních a obecních úřadů /
von: Šlauf, Václav
Veröffentlicht: (1992)

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

Meteorology and wind energy department. Annual progress report. 1 January - 31 December 1991 /
von: Petersen, E. L.
Veröffentlicht: (1992)

Tools and algorithms for the construction and analysis of systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
von: Lee, Peter
Veröffentlicht: (2003)

Bounds and constructions for binary block codes correcting asymmetric or unidirectional errors /
von: Weber, Jacobus Hendricus
Veröffentlicht: (1989)

ALGEBRAIC APPROACHES TO PROGRAM SEMANTICS /
von: Manes, Ernest G.
Veröffentlicht: (1986)

Formal semantics of programming languages /
Veröffentlicht: (1972)

Data types and data structures /
von: Martin, Johannes J.
Veröffentlicht: (1986)

Semantic data modeling in relational environments /
von: Bekke, Johannes Hendrikus ter
Veröffentlicht: (1991)

TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /
von: Guttag, John V.
Veröffentlicht: (1993)

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

Mathematical theory of program correctness /
von: Bakker, Jaco de
Veröffentlicht: (1980)

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

Parallel algorithms for VLSI computer aided design /
von: Banerjee, Prithviraj
Veröffentlicht: (1994)

Knowledge oriented software design : Extended papers from the IFIP TC12 workshop on AIFIPP '92, Madrid, Spain, 14 - 15 Sept., 1992 /
von: Chandrasekaran, B.
Veröffentlicht: (1993)

An introduction to data types /
von: Cleaveland, J. Craig
Veröffentlicht: (1986)

Experimentální ověřování konstrukcí 10 /
von: Polák, Michal 1963-
Veröffentlicht: (1999)

Moderné výpočtové aplikácie v hydrogeológii /
von: Krčmář, David
Veröffentlicht: (2002)

IMPLEMENTATION AND EVALUATION OF A COMBINED TEST-ERROR CORRECTION PROCEDURE FOR MEMORIES WITH DEFECTS /
von: Vinck, A. J.
Veröffentlicht: (1987)

Data types and structures /
von: Gotlieb, C.C, et al.
Veröffentlicht: (1978)

HUMAN ERROR DATA. FACTS OR FICTION? /
von: Rasmussen, Jens
Veröffentlicht: (1985)

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

Elektronický podpis - kľúč k moderným elektronickým službám /
von: Rexa, Radimír
Veröffentlicht: (2002)

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

State estimation and error diagnosis for biotechnological processes /
von: Heijden, Reinier Thomas Jacobus Maria van der
Veröffentlicht: (1991)

Algebraic semantics /
von: Guessarian, Iréna
Veröffentlicht: (1981)

Computer semantics : studies of algorithms, processors and languages /
von: Lee, John A. N.
Veröffentlicht: (1972)

The ASCIS data flow graph. Semantics and textual format /
von: Eijndhoven, J. T. J. van
Veröffentlicht: (1991)

On formal semantics of object systems with data and object attributes /
von: Parnitzke, Daniel
Veröffentlicht: (2001)