Mohlo by sa vám tiež páčiť

Viac informácií o knihe Preuves Par R currence Avec Ensembles Couvrants Contextuels

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 268 bodov

Anotácia knihy

Le processus de certification de logiciels est dans la plupart des cas une tâche laborieuse et coűteuse qui nécessite aussi bien des méthodes mathématiques, pour exprimer sans ambiguďté et de façon structurée le comportement attendu du logiciel, que des outils automatiques pour vérifier ses propriétés. Parmi les techniques de preuve, la récurrence est parfaitement adaptée pour raisonner sur des structures de données non-bornées, comme les entiers et les listes, ou des systčmes paramétrés. Cet ouvrage comprend deux parties, l'une théorique, l'autre applicative. La premičre partie décrit un principe de preuve par récurrence exprimé par un systčme d'inférence abstrait ŕ l'aide du concept d'ensembles couvrants contextuels. L'approche est suffisamment générale pour représenter la plupart des systčmes d'inférence actuels basés sur la récurrence implicite dont celui du démonstrateur de théorčmes Spike. La deuxičme partie présente la premičre preuve formelle de l'équivalence entre deux algorithmes génériques de conformité du protocole de télécommunications ABR. Spike a permis de vérifier de maničre complčtement automatique la majorité des 80 lemmes de cette preuve.

Parametre knihy

Zaradenie knihy Books in French LITTÉRATURE GÉNÉRALE Essais littéraires

• Celý názov: Preuves Par R currence Avec Ensembles Couvrants Contextuels
• Autor: Sorin Stratulat
• Jazyk: Francúzština
• Väzba: Brožovaná
• Počet strán: 200
• EAN: 9783841794901
• ISBN: 3841794904
• ID: 07094629
• Nakladateľ: Omniscriptum
• Hmotnosť: 299 g
• Rozmery: 229 × 152 × 12 mm
• Dátum vydania: 28. February 2018

Obľúbené z iného súdka

---

---

---