Preuves par récurrence avec ensembles couvrants contextuels: Applications à la vérification de logiciels de télécommunications (French Edition)
5 Angebote vergleichen
Preise | 2013 | 2014 | 2015 |
---|---|---|---|
Schnitt | € 70,41 | € 69,91 | € 76,22 |
Nachfrage |
1
Preuves par récurrence avec ensembles couvrants contextuels
DE PB NW
ISBN: 9783841794901 bzw. 3841794904, in Deutsch, Éditions Universitaires Européennes, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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.200 S. 220 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
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.200 S. 220 mmVersandfertig in 3-5 Tagen, Softcover.
2
Preuves par récurrence avec ensembles couvrants contextuels (2012)
DE PB NW RP
ISBN: 9783841794901 bzw. 3841794904, in Deutsch, Editions Universitaires Europeennes Eue Mrz 2012, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
This item is printed on demand - Print on Demand Titel. - 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. 200 pp. Französisch.
This item is printed on demand - Print on Demand Titel. - 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. 200 pp. Französisch.
3
Preuves par récurrence avec ensembles couvrants contextuels
DE US
ISBN: 9783841794901 bzw. 3841794904, in Deutsch, Éditions universitaires européennes, gebraucht.
Von Händler/Antiquariat, Librairie La Canopee. Inc. [1026553], Saint-Armand, QC, Canada.
Impression a la demande /Print on demand Neuf / As new 9783841794901 200 validation de logiciels critiques, démonstration automatique, preuve par récurrence 08.03.2012 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.
Impression a la demande /Print on demand Neuf / As new 9783841794901 200 validation de logiciels critiques, démonstration automatique, preuve par récurrence 08.03.2012 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.
4
Preuves Par Recurrence Avec Ensembles Couvrants Contextuels (2014)
DE PB NW
ISBN: 9783841794901 bzw. 3841794904, in Deutsch, ED UNIVERSITAIRES EUROPEENNES 01/10/2014, Taschenbuch, neu.
Von Händler/Antiquariat, Paperbackshop-US [8408184], Secaucus, NJ, U.S.A.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
New Book. This item is printed on demand. Shipped from US This item is printed on demand.
5
Preuves Par Recurrence Avec Ensembles Couvrants Contextuels (2012)
DE PB NW RP
ISBN: 9783841794901 bzw. 3841794904, in Deutsch, Editions Universitaires Europeennes, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, English-Book-Service - A Fine Choice [1048135], Waldshut-Tiengen, Germany.
This item is printed on demand for shipment within 3 working days.
This item is printed on demand for shipment within 3 working days.
Lade…