Obálka

Program logics for certified compilers.

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	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)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	New York, NY., USA: Cambridge University Press, 2014.
Témata:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

How to prove it. A structured approach.
Autor: Velleman, Daniel J
Vydáno: (2006)

Multi-criteria decision making methods: A comparative study.
Autor: Triantaphyllou, Evangelos
Vydáno: (2000)

Principles of compiler design
Autor: Aho, Alfred V, a další
Vydáno: (1977)

IBM AIX XL Pascal compiler 6000: language reference
Vydáno: (1990)

Logic colloquium
Autor: Parikh, Rohit
Vydáno: (1975)

Compiler design in C
Autor: Holub, Allen I
Vydáno: (1990)

Popular lectures on mathematical logic
Autor: Wang, Hao
Vydáno: (1993)

Compilers: principles, techniques, and tools
Autor: Aho, Alfred V, a další
Vydáno: (1986)

Algebra and logic
Autor: Crossley, J. N
Vydáno: (1975)

Methods in mathematical logic
Autor: Prisco, C. A. di
Vydáno: (1985)

De l'importance du vrai et du faux dans la classe de mathématiques
Autor: Margolinas, Claire
Vydáno: (1993)

AIX XL Fortran compiler 6000: language reference version 2.2
Vydáno: (1991)

Modal logics
Autor: Feys, Robert
Vydáno: (1965)

Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1997)

An introduction to Hilbert space and quantum logic
Autor: Cohen, David W
Vydáno: (1989)

A course in mathematical logic
Autor: Manin, Yuri Ivanovich
Vydáno: (1977)

Programming in Clipper: the definitive guide to the Clipper dBASE compiler
Autor: Straley, Stephen J
Vydáno: (1988)

Mathematical Logic
Autor: Monk, James Donald
Vydáno: (1976)

An algebraic introduction to mathematical logic
Autor: Barnes, Donald W, a další
Vydáno: (1975)

Symbolic logic and language: a programmed text
Autor: Dickoff, James, a další
Vydáno: (1965)

Delitos informáticos y cibercriminalidad, Aspectos sustantivos y procesales.
Autor: Mayer Lux, Laura Viviana
Vydáno: (2024)

Derecho Informático
Autor: Jijena Leiva, Renato Javier
Vydáno: (2022)

Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1964)

The Algorithm Design Manual
Autor: Skiena, Steven S.
Vydáno: (2012)

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

Delitos informáticos: investigación criminal, marco legal y peritaje
Autor: Saín, Gustavo, a další
Vydáno: (2017)

Lógica formal: su alcance y sus límites.
Autor: Jeffrey, Richard C.
Vydáno: (1986)

Introducción a la econometría
Autor: Maddala, G. S.
Vydáno: (1996)

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

Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1970)

Lógica simbólica para informáticos
Autor: Iranzo, Pascual Julián
Vydáno: (2005)

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

Lógica para informáticos
Autor: Farré Cirera, Rafel, a další
Vydáno: (2012)

Nombres de dominio y proveedores de servicios de Internet.
Autor: Muñoz Lecerf, Carlos
Vydáno: (2025)

The logical basis for computer programming
Autor: Manna, Zohar, a další
Vydáno: (1985)

Verificación digital para periodistas. Manual contra bulos y desinformación internacional.
Autor: Redondo, Myriam
Vydáno: (2018)

Fraude informático en la banca: aspectos criminológicos
Autor: Guerrero Mateus, María Fernanda, a další
Vydáno: (1993)

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

Clipper 5.01
Autor: Ramalho, José Antonio
Vydáno: (1992)

Compiladores: teoría e implementación
Autor: Ruiz Catalán, Jacinto
Vydáno: (2010)