Imatge de la portada

Program logics for certified compilers.

Guardat en:

Dades bibliogràfiques
Autors principals:	Appel, Andrew W., 1960- (Autor), Dockins, Robert (Autor), Hobor, Aquinas (Autor), Beringer, Lennart (Autor), Dodds, Josiah (Autor), Stewart, Gordon (Autor), Blazy, Sandrine (Autor), Leroy, Xavier (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	New York, NY., USA: Cambridge University Press, 2014.
Matèries:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

How to prove it. A structured approach.
per: Velleman, Daniel J
Publicat: (2006)

Multi-criteria decision making methods: A comparative study.
per: Triantaphyllou, Evangelos
Publicat: (2000)

Principles of compiler design
per: Aho, Alfred V, et al.
Publicat: (1977)

IBM AIX XL Pascal compiler 6000: language reference
Publicat: (1990)

Logic colloquium
per: Parikh, Rohit
Publicat: (1975)

Compiler design in C
per: Holub, Allen I
Publicat: (1990)

Popular lectures on mathematical logic
per: Wang, Hao
Publicat: (1993)

Compilers: principles, techniques, and tools
per: Aho, Alfred V, et al.
Publicat: (1986)

Algebra and logic
per: Crossley, J. N
Publicat: (1975)

Methods in mathematical logic
per: Prisco, C. A. di
Publicat: (1985)

De l'importance du vrai et du faux dans la classe de mathématiques
per: Margolinas, Claire
Publicat: (1993)

AIX XL Fortran compiler 6000: language reference version 2.2
Publicat: (1991)

Modal logics
per: Feys, Robert
Publicat: (1965)

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1997)

An introduction to Hilbert space and quantum logic
per: Cohen, David W
Publicat: (1989)

A course in mathematical logic
per: Manin, Yuri Ivanovich
Publicat: (1977)

Programming in Clipper: the definitive guide to the Clipper dBASE compiler
per: Straley, Stephen J
Publicat: (1988)

Mathematical Logic
per: Monk, James Donald
Publicat: (1976)

An algebraic introduction to mathematical logic
per: Barnes, Donald W, et al.
Publicat: (1975)

Symbolic logic and language: a programmed text
per: Dickoff, James, et al.
Publicat: (1965)

Delitos informáticos y cibercriminalidad, Aspectos sustantivos y procesales.
per: Mayer Lux, Laura Viviana
Publicat: (2024)

Derecho Informático
per: Jijena Leiva, Renato Javier
Publicat: (2022)

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1964)

The Algorithm Design Manual
per: Skiena, Steven S.
Publicat: (2012)

Manual de informática y derecho
per: Pérez Luño, Antonio Enrique
Publicat: (1996)

Delitos informáticos: investigación criminal, marco legal y peritaje
per: Saín, Gustavo, et al.
Publicat: (2017)

Lógica formal: su alcance y sus límites.
per: Jeffrey, Richard C.
Publicat: (1986)

Introducción a la econometría
per: Maddala, G. S.
Publicat: (1996)

Introducción a la informática forense
per: Lázaro Domínguez, Francisco
Publicat: (2013)

Introducción al simbolismo lógico
per: Bosch, Jorge E
Publicat: (1970)

Lógica simbólica para informáticos
per: Iranzo, Pascual Julián
Publicat: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
per: Ledesma, Luis de
Publicat: (2010)

Lógica para informáticos
per: Farré Cirera, Rafel, et al.
Publicat: (2012)

Nombres de dominio y proveedores de servicios de Internet.
per: Muñoz Lecerf, Carlos
Publicat: (2025)

The logical basis for computer programming
per: Manna, Zohar, et al.
Publicat: (1985)

Verificación digital para periodistas. Manual contra bulos y desinformación internacional.
per: Redondo, Myriam
Publicat: (2018)

Fraude informático en la banca: aspectos criminológicos
per: Guerrero Mateus, María Fernanda, et al.
Publicat: (1993)

Delito e informática: la informática como fuente de delito
per: Vera Quilodrán, Alejandro A
Publicat: (1996)

Clipper 5.01
per: Ramalho, José Antonio
Publicat: (1992)

Compiladores: teoría e implementación
per: Ruiz Catalán, Jacinto
Publicat: (2010)