Proof Technology and Computation

Proof Technology and Computation

Author: Helmut Schwichtenberg, Katharina Spies

Format: Unknown Binding

Pages: 453

ISBN: 9781607501800

Publisher: Not Avail

Release Date: May 28, 2014

Description du Livre

Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; abstraction-refinement framework of temporal logic model checking; formal verification in industrial hardware design; readable machine-checked proofs and semantics and more.

Commentaires
Alphonse Ratté
Je tiens à vous remercier personnellement pour vos livres exceptionnels. C’est vraiment merveilleux.
Andrée Bédard
Je vous recommanderai à mes collègues. Leur miracle de Noël est les livres les plus précieux que nous ayons jamais achetés. Je serais perdu sans ça. Je suis complète ment époustouflé.
Gradasso Martel
Leur Miracle de Noel était le meilleur livre que j’ai jamais acheter. Leur Miracle de Noel a fait exactement ce que tu as dit qu’il faisait.
Émilie Aucoin
Mes amis sont tellement fous qu’ils ne savent pas comment j’ai tous les ebook de haute qualité qu’ils n’ont pas!
Blanchefle Morneau
Enfin, je reçois cet ebook, merci pour tous ces miracles de Noël que je peux obtenir maintenant!