Načítá se...

QR kód

Program logics for certified compilers /

Podrobná bibliografie
Hlavní autor:	Appel, Andrew W., 1960-
Médium:	Printed Book
Jazyk:	English
Témata:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Podobné jednotky

Načítá se...

Modern compiler implementation in Java
Autor: Appel, Andrew W.

Načítá se...

Modern compiler implementation in java
Autor: Appel, Andrew W; Author
Vydáno: (2000)

Načítá se...

Compilers, principles, techniques, and tools /
Autor: Aho, Alfred V.
Vydáno: (1986)

Načítá se...

Modern compiler implementation in C /
Autor: Appel, Andrew W.
Vydáno: (1998)

Načítá se...

Modern compiler implementation in Java /
Autor: Appel, Andrew W.
Vydáno: (2000)

Načítá se...

Modern compiler implementation in Java /
Autor: Appel, Andrew W.
Vydáno: (2000)

Načítá se...

Compilers : principles, techniques, and tools /
Vydáno: (2007)

Načítá se...

Modern compiler implementation in Java : basic techniques /
Autor: Appel, Andrew W.
Vydáno: (1997)

Načítá se...

Compiler construction /
Autor: Sunitha, K V N
Vydáno: (2013)

Načítá se...

Compiler design
Autor: Chattopadhyay, Santanu
Vydáno: (2005)

Načítá se...

Compilers : principles, techniques, and tools /
Vydáno: (2014)

Načítá se...

Logic of programming /
Autor: Hehner, Eric C. R.
Vydáno: (1991)

Načítá se...

Essential software testing: a use-case approach
Autor: Fournier, Greg; Author
Vydáno: (2009)

Načítá se...

Principles of compiler design /
Autor: Aho, Alfred V.
Vydáno: (1989)

Načítá se...

Modern compiler implementation in Java /
Autor: Appel, Andrew W.
Vydáno: (2010)

Načítá se...

Inductive logic programming
Autor: Muggleton, Stephen
Vydáno: (1992)

Načítá se...

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

Načítá se...

Symbolic analysis for parallelizing compilers
Autor: Haghighat, Mohammad R; Author
Vydáno: (1995)

Načítá se...

Compilers: Principles, Techniques, and Tools
Autor: Aho, Alfred V, Sethi, Ravi and Ullman, Jeffrey D
Vydáno: (1988)

Načítá se...

Compilers:principles,techniques and tools
Autor: Aho,Alfred V.
Vydáno: (2012)

Načítá se...

Logic and argument /
Autor: Kirwan, Christopher
Vydáno: (1978)

Načítá se...

Compiler design /
Autor: Muneeswaran, K
Vydáno: (2015)

Načítá se...

Compilers: principles techniques and tools/
Autor: Aho, Alfred V
Vydáno: (2014)

Načítá se...

Compilers : principles, techniques, & tools /
Vydáno: (2007)

Načítá se...

Program construction and verification
Autor: Backhouse, Roland C; Author
Vydáno: (1986)

Načítá se...

The Essence of Compilers /
Autor: Hunter, Robin.
Vydáno: (1998)

Načítá se...

Crafting a compiler
Autor: Fischer, Charles
Vydáno: (2010)

Načítá se...

Principles of model checking /
Autor: Baier, Christel
Vydáno: (2012)

Načítá se...

Compiler design and construction /
Autor: Pyster, Arthur B.
Vydáno: (1980)

Načítá se...

Engineering a compiler /
Autor: Cooper, Keith D.
Vydáno: (2011)

Načítá se...

Elements of compiler design /
Autor: Meduna, Alexander
Vydáno: (2008)

Načítá se...

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

Načítá se...

Program construction and verification /
Autor: Backhouse, Roland C .
Vydáno: (1986)

Načítá se...

Foundation of program verification /
Autor: Loeckx, Jacques
Vydáno: (1983)

Načítá se...

Confirmation and confirmability /
Autor: Schlesinger, G.
Vydáno: (1974)

Načítá se...

Program verification using Ada
Autor: McGettrick, Andrew D; Author
Vydáno: (1982)

Načítá se...

Compiler design: syntactic and semantic analysis /
Autor: Wilhelm, Reinhard
Vydáno: (2013)

Načítá se...

Compiler construction: theory and practice
Autor: Barrett, William A, et al
Vydáno: (1990)

Načítá se...

Program Logics for Certified Compilers
Autor: Andrew W Appel
Vydáno: (2014)

Načítá se...

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