Obálka

Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Chlipala, Adam (Autor)
Médium:	Kniha
Vydáno:	Cambridge, Massachusetts, USA: London, England, 2013.
Témata:	Demostración automática de teoremas > Programas de computador Coq (recurso electrónico)
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Program logics for certified compilers.
Autor: Appel, Andrew W., 1960-, a další
Vydáno: (2014)

Machine translation
Autor: Poibeau, Thierry
Vydáno: (2017)

Classification automatique pour l'analyse des données
Autor: Jambu, Michel
Vydáno: (1978)

Types and programming languages.
Autor: Pierce, Benjamin C.
Vydáno: (2002)

Errores de las demostraciones geométricas
Autor: Dubnov, Y. S
Vydáno: (1973)

Principles program analysis.
Autor: Nielson, Flemming, a další
Vydáno: (2005)

Interpreters vs. Machines. Can Interpreters survive in an AI-dominated world?
Autor: Downie, Jonathan
Vydáno: (2020)

Electrotecnia.
Autor: Alcalde San Miguel, Pablo
Vydáno: (2022)

Programming in Clipper 5
Autor: Schinkel, Mike, a další
Vydáno: (1992)

Programming languages
Autor: Tucker, Allen B
Vydáno: (1986)

The art of computer programming
Autor: Knuth, Donald Ervin
Vydáno: (1973)

Advances topics in types and programming languages.
Vydáno: (2005)

Concepts of programming languages
Autor: Sebesta, Robert W
Vydáno: (1989)

CCNA: Cisco Certified Network Associate. Exam (200-301). Workbook
Vydáno: (2022)

Programming languages: history and fundamentals
Autor: Sammet, Jean E
Vydáno: (1969)

Abstract data types in java
Autor: Jenkins, Michael S
Vydáno: (1998)

Object oriented programing in Java
Autor: Gilbert, Stephen, a další
Vydáno: (1997)

Human factors in computing systems
Autor: Bauersfeld, Penny, a další
Vydáno: (1992)

Sportage: Manual de entrenamiento de servicio. Vehículos de Pasajeros
Vydáno: (2006)

Compiladores: principios, técnicas y herramientas
Autor: Aho, Alfred V, a další
Vydáno: (1990)

Programación de macros en LOTUS 1.2.3
Autor: Flast, Robert, a další
Vydáno: (1987)

Manual de soldadura eléctrica
Autor: González Vázquez, José
Vydáno: (1980)

An introduction to the art and science of programming: Turbo Pascal edition
Autor: Savitch, Walter
Vydáno: (1986)

Programación en Turbo Basic
Autor: Mosher, Frederick E., a další
Vydáno: (1988)

OSF-Motif: concepts and programming
Autor: Berlage, Thomas
Vydáno: (1991)

Lingüística y comunicación
Autor: Gremias, A. J, a další
Vydáno: (1971)

Computer programming examples for chemical engineers
Autor: Ross, George
Vydáno: (1987)

Programación en Turbo C
Autor: Schildt, Herbert
Vydáno: (1988)

Integer programming
Autor: Salkin, Harvey M
Vydáno: (1975)

Tricks of the Java programming gurus
Autor: Vaderburg, Glenn L
Vydáno: (1996)

Handbook of constraint programming
Autor: Rossi, Francesca, a další
Vydáno: (2006)

The Mac is not a typewriter: a style manual for crating professional-level type on your Macintosh
Autor: Williams, Robin
Vydáno: (1990)

Advanced programming and problem solving with Pascal
Autor: Schneider, G. Michael, a další
Vydáno: (1981)

Programe juegos con ActionScript 3.0
Autor: Arce Anguiano, Francisco Javier
Vydáno: (2012)

Learning to program in structured COBOL
Autor: Yourdon, Edward, a další
Vydáno: (1978)

Certified Ophthalmic Assistant Exam Review Manual.
Autor: Ledford, Janice K.
Vydáno: (2012)

Computer programs for structural analysis
Autor: Weaver, William
Vydáno: (1967)

Automatización: problemas resueltos con autómatas programables
Autor: Romera, J. Pedro, a další
Vydáno: (1994)

Microsoft Office 97 Powerpoint 97
Autor: Pérez Cota, Manuel, a další
Vydáno: (1997)

Microsoft Office 97, Access 97
Autor: Pérez Cota, Manuel, a další
Vydáno: (1997)