Yves Bertot & Pierre Casteran: Interactive Theorem Proving and Program Development (PDF) < الرياضيات < علوم < آخر الأخبار

Yves Bertot & Pierre Casteran
Interactive Theorem Proving and Program Development [PDF ebook]
Coq’Art: The Calculus of Inductive Constructions

الدعم

غلاف Yves Bertot & Pierre Casteran: Interactive Theorem Proving and Program Development (PDF)

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

€89.31

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة الإنجليزية ● شكل PDF ● ISBN 9783662079645 ● الناشر Springer Berlin Heidelberg ● نشرت 2013 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 6342918 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Yves Bertot Pierre Casteran

49٬720 كتب إلكترونية في هذه الفئة

غلاف Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Gary L. (The Pennsylvania State University, University Park, USA) Mullen & James A. (The Pennsylvania State University, University Park, USA) Sellers: Abstract Algebra

Abstract Algebra: A Gentle Introduction advantages a trend in mathematics textbook publishing towards smaller, less expensive and brief introductions to primary courses. The authors move away from th …

غلاف Robert Sloan & Richard Warner: Unauthorized Access

Robert Sloan & Richard Warner: Unauthorized Access

Going beyond current books on privacy and security, this book proposes specific solutions to public policy issues pertaining to online privacy and security. Requiring no technical or legal expertise, …

غلاف John B. Reade: Calculus with Complex Numbers

John B. Reade: Calculus with Complex Numbers

This practical treatment explains the applications complex calculus without requiring the rigor of a real analysis background. The author explores algebraic and geometric aspects of complex numbers, …

غلاف Jeffrey Holt: Linear Algebra with Applications

Jeffrey Holt: Linear Algebra with Applications

غلاف E. Shashi Menon: Liquid Pipeline Hydraulics

E. Shashi Menon: Liquid Pipeline Hydraulics

Avoiding lengthy mathematical discussions, this reference specifically addresses issues affecting the day-to-day practices of those who design, operate, and purchase liquid pipelines in the oil, wate …

غلاف Ben Hui Liu: Statistical Genomics

Ben Hui Liu: Statistical Genomics

Genomics, the mapping of the entire genetic complement of an organism, is the new frontier in biology. This handbook on the statistical issues of genomics covers current methods and the tried-and-tru …

غلاف E. Sernesi: Linear Algebra

E. Sernesi: Linear Algebra

This is an undergraduate textbook suitable for linear algebra courses. This is the only textbook that develops the linear algebra hand-in-hand with the geometry of linear (or affine) spaces in such a …

غلاف Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Yi (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China) Chen & Yun (Industry 4.0 Artificial Intelligence Laboratory, Dongguan University of Technology, China; Faculty of Engineering, University of Strathclyde, UK) Li

Computational Intelligence Assisted Design framework mobilises computational resources, makes use of multiple Computational Intelligence (CI) algorithms and reduces computational costs. This book pro …

غلاف Ovide Arino: mathematical population dynamics

Ovide Arino: mathematical population dynamics

This book is an outcome of the Second International Conference on Mathematical Population Dynamics. It is intended for mathematicians, statisticians, biologists, and medical researchers who are inter …

غلاف Tai-Ping Liu: Shock Waves

Tai-Ping Liu: Shock Waves

This book presents the fundamentals of the shock wave theory. The first part of the book, Chapters 1 through 5, covers the basic elements of the shock wave theory by analyzing the scalar conservation …

الصفحة التالية >>>