Langage de spécification par propriétés (Cours + TD) (French Edition)
5 Angebote vergleichen
Bester Preis: € 43,01 (vom 07.12.2016)1
Langage de spécification par propriétés (Cours + TD)
DE PB NW
ISBN: 9783639503180 bzw. 363950318X, in Deutsch, Éditions Universitaires Européennes, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
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 2016. 108 S. 220 mm Versandfertig in 3-5 Tagen, Softcover, Neuware.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
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 2016. 108 S. 220 mm Versandfertig in 3-5 Tagen, Softcover, Neuware.
2
Langage de spécification par propriétés (Cours + TD) (French Edition) (2016)
FR PB NW
ISBN: 9783639503180 bzw. 363950318X, in Französisch, 108 Seiten, Éditions universitaires européennes, Taschenbuch, neu.
Nové od: $46.44 (6 Ponúka)
Zobraziť viac 6 Ponuky na Amazon.com
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, marvelio.
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, Paperback, Štítok: Éditions universitaires européennes, Éditions universitaires européennes, Skupina výrobkov: Book, Uverejnené: 2016-03-21, Dátum vydania: 2016-03-21, Štúdio: Éditions universitaires européennes.
Von Händler/Antiquariat, marvelio.
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, Paperback, Štítok: Éditions universitaires européennes, Éditions universitaires européennes, Skupina výrobkov: Book, Uverejnené: 2016-03-21, Dátum vydania: 2016-03-21, Štúdio: Éditions universitaires européennes.
3
Symbolbild
Langage de spécification par propriétés (Cours + TD) (2016)
DE PB NW RP
ISBN: 9783639503180 bzw. 363950318X, in Deutsch, Editions Universitaires Europeennes Eue, Taschenbuch, neu, Nachdruck.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, English-Book-Service Mannheim [1048135], Mannheim, Germany.
This item is printed on demand for shipment within 3 working days.
Von Händler/Antiquariat, English-Book-Service Mannheim [1048135], Mannheim, Germany.
This item is printed on demand for shipment within 3 working days.
Lade…