A programming logic with an introduction to the PL/CV verifier

Código QR

A programming logic with an introduction to the PL/CV verifier

Detalles Bibliográficos
Autor principal:	Constable, Robert L.
Otros Autores:	O'Donnell, Michael J.
Formato:	Libro
Lenguaje:	English
Publicado:	Cambridge, Mass. Winthrop c1978
Materias:	PL/CV(LENGUAJE DE PROGRAMACION PARA COMPUTADORAS) PROGRAMAS PARA COMPUTADORA LOGICA MATEMATICA

Ejemplares similares

PL/I structured programming
por: Hughes, Joan Kirkby, et al.
Publicado: (1979)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1964)

Logic in elementary mathematics
por: Exner, Robert M.
Publicado: (1959)

Introduction to symbolic logic and its applications
por: Carnap, Rudolf
Publicado: (1958)

Notes on logic
por: Lyndon, Roger C
Publicado: (1966)

PL/C essentials : /
por: Mazlack, Lawrence J., et al.
Publicado: (1977)

A Survey of symbolic logic
por: Lewis, C. I.
Publicado: (1960)

Foundations of mathematical logic
por: Curry, Haskell B.
Publicado: (1963)

Logic machines and diagrams
por: Gardner, Martin
Publicado: (1958)

A short course in PL/I and PL/C
por: Clark, Ann L.
Publicado: (1978)

Mathematical logic and the foundations of mathematics an introductory survey
por: Kneebone, G. T.
Publicado: (1963)

Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris
Publicado: (1969)

Técnicas de programación e introducción al lenguaje PL/1 /
por: Rodríguez Aedo, Luis Santiago, et al.
Publicado: (1980)

Programacion PL/I /
por: Weinberg, Gerald M., et al.
Publicado: (1973)

PL/I : reference manual /
Publicado: (1977)

IBM AS / 400 languages PL / I user´s guide and reference
Publicado: (1988)

Introducción to PL/I programming for library and information science
por: Mott Junior, Thomas H
Publicado: (1972)

The Axiomatic method an introduction to mathematical logic
por: Lightstone, A. H.
Publicado: (1964)

Algebraic logic
por: Halmos, Paul R.
Publicado: (1962)

"Metodologia en el desarrollo de programas para microcomputadoras"
Publicado: (1985)

Puesta en marcha y elaboración de una plataforma de simulación para el PLC SLC 5/05 de Allen Bradley /
por: Castro Porras, Luis Fernando, et al.
Publicado: (2004)

An introduction to programming: a strucutred approach using PL/1 and Pl/C-7 /
por: Conway, Richard
Publicado: (1975)

PL I for scientific programmers
por: Fike, C. T.
Publicado: (1970)

Introduction to computing
por: Cole, Wade W., et al.
Publicado: (1969)

Introducción a la lógica simbólica
por: Langer, Susanne K.
Publicado: (1972)

Lógica
Publicado: (1970)

The Collected papers of Gerhard Gentzen
por: Szabo, M.E.
Publicado: (1969)

Illustrative computer programming for libraries : selected examples for information specialists
por: Davis, Charles Hargis
Publicado: (1981)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming Rennes, France, 18-20 september, 1984 /
por: Dahl, Verónica, et al.
Publicado: (1985)

N-Prolog and equivalence of logic programs /
por: Olivetti, Nicola, et al.
Publicado: (1992)

Programación en Oracle 11g : SQL, SQL*Plus y PL/SQL /
Publicado: (2012)

Oracle 12c : SQL, PL/SQL, SQL*Plus /
por: Gabillaud, Jérôme
Publicado: (2015)

PL/SQL fundamentals /

The art of structured programming /
por: Juliff, Peter, et al.
Publicado: (1984)

Los Métodos de la lógica
por: Quine, Willard Van Orman
Publicado: (1962)

Oracle PL/SQL
por: Pérez, César
Publicado: (2008)

Guía espiritual
por: Descartes, Renato

Pensée et structure
por: Dienes, Z. P.
Publicado: (1967)