תמונות העטיפה

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

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Chlipala, Adam (Author)
פורמט:	ספר
יצא לאור:	Cambridge, Massachusetts, USA: London, England, 2013.
נושאים:	Demostración automática de teoremas > Programas de computador Coq (recurso electrónico)
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים

Program logics for certified compilers.
מאת: Appel, Andrew W., 1960-, et al.
יצא לאור: (2014)

Machine translation
מאת: Poibeau, Thierry
יצא לאור: (2017)

Classification automatique pour l'analyse des données
מאת: Jambu, Michel
יצא לאור: (1978)

Types and programming languages.
מאת: Pierce, Benjamin C.
יצא לאור: (2002)

Errores de las demostraciones geométricas
מאת: Dubnov, Y. S
יצא לאור: (1973)

Principles program analysis.
מאת: Nielson, Flemming, et al.
יצא לאור: (2005)

Interpreters vs. Machines. Can Interpreters survive in an AI-dominated world?
מאת: Downie, Jonathan
יצא לאור: (2020)

Electrotecnia.
מאת: Alcalde San Miguel, Pablo
יצא לאור: (2022)

Programming in Clipper 5
מאת: Schinkel, Mike, et al.
יצא לאור: (1992)

Programming languages
מאת: Tucker, Allen B
יצא לאור: (1986)

The art of computer programming
מאת: Knuth, Donald Ervin
יצא לאור: (1973)

Advances topics in types and programming languages.
יצא לאור: (2005)

Concepts of programming languages
מאת: Sebesta, Robert W
יצא לאור: (1989)

CCNA: Cisco Certified Network Associate. Exam (200-301). Workbook
יצא לאור: (2022)

Programming languages: history and fundamentals
מאת: Sammet, Jean E
יצא לאור: (1969)

Abstract data types in java
מאת: Jenkins, Michael S
יצא לאור: (1998)

Object oriented programing in Java
מאת: Gilbert, Stephen, et al.
יצא לאור: (1997)

Human factors in computing systems
מאת: Bauersfeld, Penny, et al.
יצא לאור: (1992)

Sportage: Manual de entrenamiento de servicio. Vehículos de Pasajeros
יצא לאור: (2006)

Compiladores: principios, técnicas y herramientas
מאת: Aho, Alfred V, et al.
יצא לאור: (1990)

Programación de macros en LOTUS 1.2.3
מאת: Flast, Robert, et al.
יצא לאור: (1987)

Manual de soldadura eléctrica
מאת: González Vázquez, José
יצא לאור: (1980)

An introduction to the art and science of programming: Turbo Pascal edition
מאת: Savitch, Walter
יצא לאור: (1986)

Programación en Turbo Basic
מאת: Mosher, Frederick E., et al.
יצא לאור: (1988)

OSF-Motif: concepts and programming
מאת: Berlage, Thomas
יצא לאור: (1991)

Lingüística y comunicación
מאת: Gremias, A. J, et al.
יצא לאור: (1971)

Computer programming examples for chemical engineers
מאת: Ross, George
יצא לאור: (1987)

Programación en Turbo C
מאת: Schildt, Herbert
יצא לאור: (1988)

Integer programming
מאת: Salkin, Harvey M
יצא לאור: (1975)

Tricks of the Java programming gurus
מאת: Vaderburg, Glenn L
יצא לאור: (1996)

Handbook of constraint programming
מאת: Rossi, Francesca, et al.
יצא לאור: (2006)

The Mac is not a typewriter: a style manual for crating professional-level type on your Macintosh
מאת: Williams, Robin
יצא לאור: (1990)

Advanced programming and problem solving with Pascal
מאת: Schneider, G. Michael, et al.
יצא לאור: (1981)

Programe juegos con ActionScript 3.0
מאת: Arce Anguiano, Francisco Javier
יצא לאור: (2012)

Learning to program in structured COBOL
מאת: Yourdon, Edward, et al.
יצא לאור: (1978)

Certified Ophthalmic Assistant Exam Review Manual.
מאת: Ledford, Janice K.
יצא לאור: (2012)

Computer programs for structural analysis
מאת: Weaver, William
יצא לאור: (1967)

Automatización: problemas resueltos con autómatas programables
מאת: Romera, J. Pedro, et al.
יצא לאור: (1994)

Microsoft Office 97 Powerpoint 97
מאת: Pérez Cota, Manuel, et al.
יצא לאור: (1997)

Microsoft Office 97, Access 97
מאת: Pérez Cota, Manuel, et al.
יצא לאור: (1997)