Imagen de Portada

Proving programs correct /

Guardado en:

Autor Principal:	Anderson, Robert Brockett, 1941-
Formato:	Libro
Idioma:	English
Publicado:	New York : Wiley, c1979.
Materias:	Computer programs > Testing. Debugging in computer science.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Program style, design, efficiency, debugging, and testing /
por: Van Tassel, Dennie, 1939-
Publicado: (1978)

Program style, design, efficiency, debugging, and testing /
por: Van Tassel, Dennie, 1939-
Publicado: (1978)

Mathematical theory of computation. /
por: Manna, Zohar.
Publicado: (1974)

Proving programs correct. /
por: Anderson, Robert B.
Publicado: (1979)

The design of well-structured and correct programs /
por: Alagic, Suad, 1946-
Publicado: (1978)

The design of well-structured and correct programs /
por: Alagic, Suad, 1946-
Publicado: (1978)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
por: Bertot, Yves.
Publicado: (2004)

The Correctness problem in computer science /
Publicado: (1981)

Testing object-oriented systems : models, patterns, and tools /
por: Binder, Robert, 1950-
Publicado: (2000)

Managing the testing process : practical tools and techniques for managing hardware and software testing /
por: Black, Rex, 1964-
Publicado: (2002)

Foundations of parallel programming : a machine-independent approach /
por: Lewis, T. G. 1941-
Publicado: (1993)

Data structures and programming techniques /
por: Maurer, Hermann A., 1941-
Publicado: (1977)

Scheme and the art of programming /
por: Springer, George, 1924-
Publicado: (1989)

An introduction to object-oriented programming and C++ /
por: Wiener, Richard, 1941-
Publicado: (1988)

Testing object-oriented software /
por: Kung, Chen-Ho.
Publicado: (1998)

Object-oriented programming in Eiffel /
por: Rist, Robert.
Publicado: (1995)

Genetic programming : on the programming of computers by means of natural selection /
por: Koza, John R.
Publicado: (1992)

Concurrent programming /
por: Burns, Alan, 1953-
Publicado: (1993)

On concurrent programming /
por: Schneider, Fred B.
Publicado: (1997)

Concurrent programming : principles and practice /
por: Andrews, Gregory R.
Publicado: (1991)

Genetic programming : An Introduction on the automatic evolution of computer programs and its applications /
por: Banzhaf, Wolfgang, 1955.
Publicado: (1998)

Logic Programming with Prolog
por: Bramer, Max.
Publicado: (2005)

Pro Java Programming
por: Spell, Brett.
Publicado: (2005)

Network programming /
por: Murty, Katta G., 1936-
Publicado: (1992)

Event-Based Programming Taking Events to the Limit /
por: Faison, Ted.
Publicado: (2006)

Foundations of genetic programming /
por: Langdon, W. B.
Publicado: (2002)

The art of parallel programming /
por: Lester, Bruce P.
Publicado: (1993)

The art of parallel programming /
por: Lester, Bruce P.
Publicado: (2006)

Elements of functional programming /
por: Reade, Chris.
Publicado: (1989)

Elements of functional programming /
por: Reade, Chris.
Publicado: (1989)

Visual object-oriented programming : concepts and environments /
Publicado: (1995)

Introduction to C++ Programming and Graphics
por: Pozrikidis, Constantine.
Publicado: (2007)

Parallel programming : techniques and applications using networked workstations and parallel computers /
por: Wilkinson, Barry.
Publicado: (2005)

How to write parallel programs : a first course /
por: Carriero, Nicholas.
Publicado: (1990)

Algebra of programming /
por: Bird, Richard, 1943-
Publicado: (1997)

Pro .NET 2.0 Graphics Programming
por: White, Eric.
Publicado: (2006)

Pro Crystal Enterprise/Business Objects XI Programming
por: Ganz, Carl.
Publicado: (2007)

Pro ASP.NET 2.0 Website Programming
por: Armstrong, Damon.
Publicado: (2005)

Analysis and visualization tools for constraint programming : constraint debugging /
Publicado: (2000)

Designing and building parallel programs : concepts and tools for parallel software engineering /
por: Foster, Ian, 1959-
Publicado: (1995)