Contacto
Como comprar
Entrega
Guia de compras
Langage de spécification par propriétés (Cours + TD)
Francês
125 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
36.72
€
/
Capa mole
25.59
€
PSL permet d'instancier d'une classe de langage informatique ayant pour but la description et la vérification formelle d'un systčme électronique. PSL est une représentation textuelle des propriétés temporelles des propriétés d'une conception. En comparant avec d'autres langages de programmation classiques, la syntaxe et la sémantique du PSL inclut notations des couches, dont chaque couche ŕ sa propre syntaxe. L'objectif de ce livre est d'aider le lecteur ŕ se familiariser au langage PSL. Ce livre est décomposé en deux parties. La premičre partie détaille les notions générales du langage PSL ŕ savoir les couches et les instructions PSL. On a réservé un chapitre pour chaque couche. Chaque chapitre est bien équipé par des exemples ainsi que de chronogrammes "waves " de simulation. La deuxičme partie "partie applicative" est réservée aux exercices. Cette partie ŕ pour a pour objectif : -Adapter ŕ coder en langage PSL -Ajouter les regčles de vérification -Simuler le code -Extraire les fautes éventuelles de conception -Voir les sources de ces fautes -Corriger les fautes éventuelles de conception
Sobre o livro
Francês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
10.61
€
/
Capa mole
20.43
€
