Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Udgivet: |
Cambridge, Massachusetts, USA: London, England,
2013.
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Program logics for certified compilers.
af: Appel, Andrew W., 1960-, et al.
Udgivet: (2014)
af: Appel, Andrew W., 1960-, et al.
Udgivet: (2014)
Machine translation
af: Poibeau, Thierry
Udgivet: (2017)
af: Poibeau, Thierry
Udgivet: (2017)
Classification automatique pour l'analyse des données
af: Jambu, Michel
Udgivet: (1978)
af: Jambu, Michel
Udgivet: (1978)
Types and programming languages.
af: Pierce, Benjamin C.
Udgivet: (2002)
af: Pierce, Benjamin C.
Udgivet: (2002)
Errores de las demostraciones geométricas
af: Dubnov, Y. S
Udgivet: (1973)
af: Dubnov, Y. S
Udgivet: (1973)
Principles program analysis.
af: Nielson, Flemming, et al.
Udgivet: (2005)
af: Nielson, Flemming, et al.
Udgivet: (2005)
Interpreters vs. Machines. Can Interpreters survive in an AI-dominated world?
af: Downie, Jonathan
Udgivet: (2020)
af: Downie, Jonathan
Udgivet: (2020)
Electrotecnia.
af: Alcalde San Miguel, Pablo
Udgivet: (2022)
af: Alcalde San Miguel, Pablo
Udgivet: (2022)
Programming in Clipper 5
af: Schinkel, Mike, et al.
Udgivet: (1992)
af: Schinkel, Mike, et al.
Udgivet: (1992)
Programming languages
af: Tucker, Allen B
Udgivet: (1986)
af: Tucker, Allen B
Udgivet: (1986)
The art of computer programming
af: Knuth, Donald Ervin
Udgivet: (1973)
af: Knuth, Donald Ervin
Udgivet: (1973)
Advances topics in types and programming languages.
Udgivet: (2005)
Udgivet: (2005)
Concepts of programming languages
af: Sebesta, Robert W
Udgivet: (1989)
af: Sebesta, Robert W
Udgivet: (1989)
CCNA: Cisco Certified Network Associate. Exam (200-301). Workbook
Udgivet: (2022)
Udgivet: (2022)
Programming languages: history and fundamentals
af: Sammet, Jean E
Udgivet: (1969)
af: Sammet, Jean E
Udgivet: (1969)
Abstract data types in java
af: Jenkins, Michael S
Udgivet: (1998)
af: Jenkins, Michael S
Udgivet: (1998)
Object oriented programing in Java
af: Gilbert, Stephen, et al.
Udgivet: (1997)
af: Gilbert, Stephen, et al.
Udgivet: (1997)
Human factors in computing systems
af: Bauersfeld, Penny, et al.
Udgivet: (1992)
af: Bauersfeld, Penny, et al.
Udgivet: (1992)
Sportage: Manual de entrenamiento de servicio. Vehículos de Pasajeros
Udgivet: (2006)
Udgivet: (2006)
Compiladores: principios, técnicas y herramientas
af: Aho, Alfred V, et al.
Udgivet: (1990)
af: Aho, Alfred V, et al.
Udgivet: (1990)
Programación de macros en LOTUS 1.2.3
af: Flast, Robert, et al.
Udgivet: (1987)
af: Flast, Robert, et al.
Udgivet: (1987)
Manual de soldadura eléctrica
af: González Vázquez, José
Udgivet: (1980)
af: González Vázquez, José
Udgivet: (1980)
An introduction to the art and science of programming: Turbo Pascal edition
af: Savitch, Walter
Udgivet: (1986)
af: Savitch, Walter
Udgivet: (1986)
Programación en Turbo Basic
af: Mosher, Frederick E., et al.
Udgivet: (1988)
af: Mosher, Frederick E., et al.
Udgivet: (1988)
OSF-Motif: concepts and programming
af: Berlage, Thomas
Udgivet: (1991)
af: Berlage, Thomas
Udgivet: (1991)
Lingüística y comunicación
af: Gremias, A. J, et al.
Udgivet: (1971)
af: Gremias, A. J, et al.
Udgivet: (1971)
Computer programming examples for chemical engineers
af: Ross, George
Udgivet: (1987)
af: Ross, George
Udgivet: (1987)
Programación en Turbo C
af: Schildt, Herbert
Udgivet: (1988)
af: Schildt, Herbert
Udgivet: (1988)
Integer programming
af: Salkin, Harvey M
Udgivet: (1975)
af: Salkin, Harvey M
Udgivet: (1975)
Tricks of the Java programming gurus
af: Vaderburg, Glenn L
Udgivet: (1996)
af: Vaderburg, Glenn L
Udgivet: (1996)
Handbook of constraint programming
af: Rossi, Francesca, et al.
Udgivet: (2006)
af: Rossi, Francesca, et al.
Udgivet: (2006)
The Mac is not a typewriter: a style manual for crating professional-level type on your Macintosh
af: Williams, Robin
Udgivet: (1990)
af: Williams, Robin
Udgivet: (1990)
Advanced programming and problem solving with Pascal
af: Schneider, G. Michael, et al.
Udgivet: (1981)
af: Schneider, G. Michael, et al.
Udgivet: (1981)
Programe juegos con ActionScript 3.0
af: Arce Anguiano, Francisco Javier
Udgivet: (2012)
af: Arce Anguiano, Francisco Javier
Udgivet: (2012)
Learning to program in structured COBOL
af: Yourdon, Edward, et al.
Udgivet: (1978)
af: Yourdon, Edward, et al.
Udgivet: (1978)
Certified Ophthalmic Assistant Exam Review Manual.
af: Ledford, Janice K.
Udgivet: (2012)
af: Ledford, Janice K.
Udgivet: (2012)
Computer programs for structural analysis
af: Weaver, William
Udgivet: (1967)
af: Weaver, William
Udgivet: (1967)
Automatización: problemas resueltos con autómatas programables
af: Romera, J. Pedro, et al.
Udgivet: (1994)
af: Romera, J. Pedro, et al.
Udgivet: (1994)
Microsoft Office 97 Powerpoint 97
af: Pérez Cota, Manuel, et al.
Udgivet: (1997)
af: Pérez Cota, Manuel, et al.
Udgivet: (1997)
Microsoft Office 97, Access 97
af: Pérez Cota, Manuel, et al.
Udgivet: (1997)
af: Pérez Cota, Manuel, et al.
Udgivet: (1997)