0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (5)
  • -
Status
Brand

Showing 1 - 5 of 5 matches in All Departments

Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback,... Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback, 2013 ed.)
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
R1,532 Discovery Miles 15 320 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Mathematics of Program Construction - 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings... Mathematics of Program Construction - 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Paperback, 2008 ed.)
Philippe Audebaud, Christine Paulin-Mohring
R1,510 Discovery Miles 15 100 Ships in 10 - 15 working days

ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal c- culation.Within this theme, the scopeofthe seriesisverydiverse, including p- grammingmethodology, programspeci?cationandtransformation, programming paradigms, programmingcalculi, andprogramminglanguagesemantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 18 papers selected for presentation by the Program Committee from 41 submissions, 1 invited paper which was reviewed as well, and the abstracts for two invited talks. The conference took place in Marseille-Luminy, France. The previous eight conferences were held in 1989 in Twente, The Netherlands; in 1992 in Oxford, UK; in 1995 in Kloster Irsee, Germany; in 1998 in Marstrand near Got ] eborg, Sweden; in 2000 in Ponte de Lima, Portugal; in 2002 in Dagstuhl, Germany; in 2004, in Stirling, UK; and in 2006 in Kuressaare, Estonia. The proceedings of these conferences were published as LNCS 375, 669, 947, 1422, 1837, 2386, 3125 and 4014, respectively. We aregratefulto the members ofthe ProgramCommittee andtheir referees for their care and diligence in reviewing the submitted pa

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised... Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback, 2006 ed.)
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
R1,559 Discovery Miles 15 590 Ships in 10 - 15 working days

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999,... Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Paperback, 1999 ed.)
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
R1,608 Discovery Miles 16 080 Ships in 10 - 15 working days

This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99), whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences, anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title: Theorem ProvinginHigherOrderLogics: EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in?uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry."

Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers... Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Paperback, 1998 ed.)
Eduardo Gimenez, Christine Paulin-Mohring
R1,616 Discovery Miles 16 160 Ships in 10 - 15 working days

This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Philips TAUE101 Wired In-Ear Headphones…
R199 R129 Discovery Miles 1 290
Baby Dove Rich Moisture Wipes (50Wipes)
R40 Discovery Miles 400
Linx La Work Desk (Walnut)
R4,499 Discovery Miles 44 990
Burberry London Eau De Parfum Spray…
R2,332 R1,407 Discovery Miles 14 070
The Cruel & Beautiful World Of Radio
Baydu Adams Paperback R310 R249 Discovery Miles 2 490
Air Fryer - Herman's Top 100 Recipes
Herman Lensing Paperback R350 R235 Discovery Miles 2 350
Bostik Glue Stick (40g)
R52 Discovery Miles 520
Bestway Heavy Duty Repair Patch
R30 R24 Discovery Miles 240
Cool Kids Oxford Analogue Watch (Black)
R176 Discovery Miles 1 760
Sing 2
Blu-ray disc R210 Discovery Miles 2 100

 

Partners