Program verification /

Program verification /

Guardado en:

Detalles Bibliográficos
Autor principal:	Francez, Nissim
Formato:	Libro
Lenguaje:	Inglés
Publicado:	Wokimgham : Addison-Wesley, 1992
Materias:	Informática Programas de computador

Ejemplares similares

Network programming in FoxPro /
por: Booth, Joseph D.
Publicado: (1993)

Métodos computacionales : programas de televisión módulos 14 al 19 /
por: Pérez Tobón, Fernando.
Publicado: (c2006.)

Métodos computacionales : programas de televisión módulos 20 al 26 /
por: Pérez Tobón, Fernando.
Publicado: (c2005.)

Métodos computacionales : programas de televisión módulos 7 al 13 /
por: Pérez Tobón, Fernando.
Publicado: (c2006.)

Métodos computacionales : programas de televisión módulos 1 al 6 /
por: Pérez Tobón, Fernando.
Publicado: (c2005.)

Métodos computacionales : programas de televisión módulos 27 al 30 /
por: Pérez Tobón, Fernando.
Publicado: (c2005.)

Software design methods for concurrent and Real-Times systems /
por: Gomaa, Hassan
Publicado: (1993.)

Basic para maestros /
por: Bellido, Antonio
Publicado: (1986)

PC magazine : programming FoxPro 2.5 /
por: Liskin, Miriam
Publicado: (c1993)

Ingeniería de software orientada a objetos con UML, java e internet /
por: Weitzenfeld, Alfredo.
Publicado: (c2005.)

PostScript by example /
por: McGilton, Henry
Publicado: (1992)

Getting started : Microsoft FoxPro /
Publicado: (1993.)

Visual FoxPro : manual del programador.
por: Microsoft Corporation.
Publicado: (1995.)

Visual FoxPro : sistema de desarrollo de bases de datos relacionales para Windows /
por: Microsoft Corporation.

Object-oriented software engineering : a use case driven approach /
por: Jacobson, Ivar.
Publicado: (c1992.)

Referencia de funciones : Microsoft Excel /
por: Microsoft Corporation.
Publicado: (c1992.)

Aprendiendo programación con Microsoft Excel 2000 en 24 horas /
por: Podlin, Sharon
Publicado: (2001.)

El computador y su entorno
por: Duperut, Gabriel
Publicado: (1996)

Introducción a la computación
por: Beekman, George
Publicado: (1999)

Reparación avanzada de PC.
por: Brenner, Robert C..

El PC para principiantes /
por: Tornsdorf, Helmut.
Publicado: (1993.)

El computador y su entorno /
por: Duperut, Gabriel.
Publicado: (1998.)

Perspectiva de la revolución de los computadores
por: Aiken, H.
Publicado: (1975.)

Programming in mathematica /
por: Maeder, Roman
Publicado: (c1991.)

PFS: Window works : version 2.0 /
Publicado: (1992)

Programación y aplicaciones con X Window /
por: Johnson, Eric F.
Publicado: (1992)

Dos para inexpertos /
por: Gookin, Dan
Publicado: (c1992)

El PC para principiantes /
por: Tornsdorf, H.
Publicado: (c1993)

Gestión de servicios en el sistema informático.
por: Chicano Tejada, Ester,
Publicado: (2023)

¿Qué hace un ordenador?.
por: Alteneder, Andreas.
Publicado: (c.1987)

Serial port complete : programming and circuits for RS-232 and RS-485 links and networks /
por: Axelson, Jan
Publicado: (c1998.)

Digital computation for chemical engineers
por: Lapidus, Leon
Publicado: (1962.)

Diccionario de informática
por: Nania, George A.
Publicado: (1985.)

Diccionario Oxford de informática
Publicado: (1985.)

Máquinas, sistemas y modelos
por: Aracil, Javier
Publicado: (1986.)

Fundamentos de computadoras digitales
por: Bartee, Thomas C.
Publicado: (1984.)

Programming : principles and practice using C++ /
por: Stroustrup, Bjarne.
Publicado: (c2009.)

Cómo aprender a manejar un ordenador en una semana
por: Dahl, A.
Publicado: (1986.)

Design a program to create data entry programs
por: WUERTH, J. Michael

Principles of software engineering management /
por: Gilb, Tom
Publicado: (c1988)