Cover Image

The Correctness problem in computer science /

Bibliographic Details
Other Authors:	Boyer, Robert S., Moore, J Strother, 1947-
Format:	Book
Language:	English
Published:	London ; New York : Academic Press, 1981.
Series:	International lecture series in computer science.
Subjects:	Computer programs > Correctness.

Similar Items

On reductions and livelocks in asynchronous parallel computation /
by: Kwong, Yat-Sang
Published: (1982)

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994 /
Published: (1995)

Quantum error correction and fault tolerant quantum computing /
by: Gaitan, Frank
Published: (2008)

A Multiprocessor execution profiler /
Published: (1989)

Quantum error correction /
Published: (2013)

Lectures on quantum computation, quantum error : correcting codes and information theory /
by: Parthasarathy, K. R.
Published: (2006)

Locally least-cost error correctors for context-free and context sensitive parsers /
by: Dion, Bernard A.
Published: (1982)

Introduction to correctional science /
by: Carney, Louis P.
Published: (1974)

Reform in corrections : problems and issues /
Published: (1977)

Correctional administration ; the management of probation, institutions, and parole /
by: Coffey, Alan
Published: (1974)

Correctional systems and correctional alternatives on tribal lands.
Published: (2012)

Error correcting coding and security for data networks : analysis of the superchannel concept /
by: Kabatiansky, G.
Published: (2005)

Reliable methods for computer simulation : error control and A Posteriori estimates /
by: Neittaanmäki, P. (Pekka)
Published: (2004)

Variations on constants : flow analysis of sequential and parallel programs /
by: Müller-Olm, Markus
Published: (2006)

Effective correctional treatment /
Published: (1980)

Staff evaluation, Texas Department of Corrections : a staff report to the Sunset Advisory Commission.
Published: (1986)

Error detecting logic for digital computers /
by: Sellers, Frederick F.
Published: (1968)

The effectiveness of correctional treatment : a survey of treatment evaluation studies /
by: Lipton, Douglas S.
Published: (1975)

Issues in corrections and administration : selected readings /
Published: (1976)

Evaluating correctional and community settings /
by: Moos, Rudolf H., 1934-
Published: (1975)

Corrections, treatment and philosophy /
by: Carney, Louis P.
Published: (1980)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever /
Published: (2010)

Crisis in corrections : the prison problem.
by: Harris, Janet
Published: (1973)

The Sociology of corrections : a book of readings /
Published: (1977)

Graded problems in computer science /
by: McGettrick, Andrew D., 1944-
Published: (1983)

The re-emergence of correctional intervention /
by: Palmer, Ted
Published: (1992)

Artificial unintelligence : how computers misunderstand the world /
by: Broussard, Meredith
Published: (2018)

Enhancing cryptographic primitives with techniques from error correcting codes /
Published: (2009)

Corrections : past, present, and future /
by: Stinchcomb, Jeanne B.
Published: (2005)

Adult corrections in Arizona : a report /
Published: (1974)

Trends in corrections : interviews with corrections leaders around the world.
Published: (2015)

Correcting the future /
by: Adelson, Marvin
Published: (1978)

Correctional institutions /
Published: (1972)

Correctional institutions /
Published: (1977)

Error control and adaptivity in scientific computing /
Published: (1999)

How to market community corrections.
Published: (1990)

A profile of correctional effectiveness and new directions for research /
by: Palmer, Ted
Published: (1994)

Reliable computation in the presence of noise /
by: Winograd, S.
Published: (1963)

Correctional leadership : a cultural perspective /
by: Stojkovic, Stan
Published: (2003)

Resource needs of correctional administrators : a survey report /
Published: (1974)