"Program Calculation in Coq" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Coq Académie	Alain M. Bergeron	2014	Boomerang éditeur jeunesse
Papa coq	Jean-Charles Sarrazin	2007	Ecole des loisirs
Le coq	Shaohin	1986	Créalivres
Tit-Coq	Gratien Gélinas	1987	Leméac
Le coq d'or,	Pushkin, Aleksandr Sergeevich,; Zworykine, Boris.	[1925]	H. Piazza
Tit-coq: théâtre	Gratien Gélinas	1994	Typo
Coq de combat	Izô Hashimoto	2003	Delcourt-Akata
Coq au vin	Charlotte Carter	1999	Mysterious Press
PACES Program Automated Calculation and Eligibility System: a user's guide	Massachusetts. Department of Public Welfare	1992	The Dept.
Le coq de bruyère	Michel Tournier	1986	Gallimard
Le coq de bruyère	Michel Tournier	1978	Gallimard
Roland, le coq paresseux	Lilian Murray	1989	Bias
Le Coq de bruyère /	Tournier, Michel.	[1978], ©1978.	Gallimard,
Du coq à l'âne	Jean Bélanger	2007	Priori-T#1
Du coq à l'âme	Raymond Turcotte	2006	TheoDone éditeur
Le coq du clocher	Reybaud, Louis	1872	Michel Lévy
De l'âne au coq	Jean-Pierre Colignon	2006	L'Archipel
Le coq du clocher	Reybaud, Louis	1846	M. Lévy frères
Premium Calculation in Insurance	F. Etienne De Vylder; Marc Goovaerts; J. Haezendonck	1984	Springer Netherlands
Exercises in chemical calculation	H. F. Coward	1912	Edward Arnold
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Program Calculation in Coq	Julien Tesson; Hideki Hashimoto; Zhenjiang Hu; Frédéric Loulergue; Masato Takeichi	Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers	Michael Johnson; Dusko Pavlovic	2011	Springer Berlin Heidelberg
Vibration Calculation Program		The Vibration Analysis Handbook	James I. Taylor	2003	VCI
Bearing Calculation Program		The Vibration Analysis Handbook	James I. Taylor	2003	VCI
Price Calculation Program		Structured Programming with C++	Kjell Bäckman	2013	Bookboon
VCI Bearing Calculation Program		The Vibration Analysis Handbook	James I. Taylor	2003	VCI
Fusion in Coq	José L. Freire Nistal; José E. Freire Brañas; Antonio Blanco Ferro; Juan J. Sánchez Penas	Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers	Roberto Moreno-Diaz; Bruno Buchberger; Jose-Luis Freire	2001	Springer Berlin Heidelberg
HOCore in Coq	Petar Maksimović; Alan Schmitt	Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings	Christian Urban; Xingyuan Zhang	1st ed. 2015	Springer International Publishing
Coq	Laurent Théry; Pierre Letouzey; Georges Gonthier	The Seventeen Provers of the World: Foreword by Dana S. Scott	Freek Wiedijk	2006	Springer Berlin Heidelberg
coq		Lexique pour l’étude de la Franche-Comté à l’époque des Habsbourg (1493-1674)	Paul Delsalle	2004	Presses universitaires de Franche-Comté
Coq		Peindre en leur âme des fantômes: Image et éducation militante pendant les guerres de Religion	Florence Buttay	2018	Presses universitaires de Rennes
Coq	Philippe Chavin; Jean-François Monin	Software Specification Methods	Henri Habrias	2006	John Wiley & Sons
 P. F calculation using (calculation and program).		Power System Distribution (Arabic): Power System Distribution (Arabic)	Abdelmonem Shaban Ahmed	2015	Free
Program Optimizations and Transformations in Calculation Form	Zhenjiang Hu; Tetsuo Yokoyama; Masato Takeichi	Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers	Ralf Lämmel; João Saraiva; Joost Visser	2006	Springer Berlin Heidelberg
Program PERFORM: Flight-Path Calculation		Computational Flight Dynamics	Malcolm J. Abzug	1998	Amer Inst of Aeronautics &
Developing certified programs in the system Coq the program tactic	C. Parent	Types for Proofs and Programs: International Workshop TYPES ' 93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers	Henk Barendregt; Tobias Nipkow	1994	Springer Berlin Heidelberg
Observational Equivalence and Program Extraction in the Coq Proof Assistant	Nicolas Oury	Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings	Martin Hofmann	2003	Springer Berlin Heidelberg
Towards Rewriting in Coq	Jacek Chrząszcz; Daria Walukiewicz-Chrząszcz	Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday	Hubert Comon-Lundh; Claude Kirchner; Hélène Kirchner	2007	Springer Berlin Heidelberg
Reflecting BDDs in Coq	Kumar Neeraj Verma; Jean Goubault-Larrecq; Sanjiva Prasad; S. Arun-Kumar	Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings	Jifeng He; Masahiko Sato	2000	Springer Berlin Heidelberg
Mobility Types in Coq	Furio Honsell; Ivan Scagnetto	Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers	Stefano Berardi; Mario Coppo; Ferruccio Damiani	2004	Springer Berlin Heidelberg
Specifying XPEGs in Coq		Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice. . . Computer Science and General Issues)	Andrew Gordon	2010	Springer
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries