Passer au contenu
Mon compte
Wishlist
Panier 00:00
Panier 00:00

Logique temporelle: Sémantique et validation des programmes parallèles

Le Pitch
Ce livre aborde la logique temporelle, un domaine des sciences informatiques qui permet de spécifier et de vérifier le comportement des systèmes informatiques concurrents. L'auteur explore les fondements de cette logique, sa sémantique et ses applications à la validation de programmes parallèles. Il propose des méthodes formelles pour garantir la correction des systèmes informatiques en tenant compte de leur aspect temporel. Cet ouvrage s'adresse aux étudiants et aux chercheurs en informatique intéressés par la vérification formelle des programmes. Afficher moinsAfficher plus

Logique temporelle: Sémantique et validation des programmes parallèles

Indisponible
Sélectionnez la condition
Indisponible
Etre averti(e) de la disponibilité

Le Pitch

Ce livre aborde la logique temporelle, un domaine des sciences informatiques qui permet de spécifier et de vérifier le comportement des systèmes informatiques concurrents. L'auteur explore les fondements de cette logique, sa sémantique et ses applications à la validation de programmes parallèles. Il propose des méthodes formelles pour garantir la correction des systèmes informatiques en tenant compte de leur aspect temporel. Cet ouvrage s'adresse aux étudiants et aux chercheurs en informatique intéressés par la vérification formelle des programmes. Afficher moinsAfficher plus

Détails du livre

Titre complet
Logique temporelle: Sémantique et validation des programmes parallèles
Format
Relié
Publication
01 février 1990
Pages
232
Taille
12
Poids
547
ISBN-13
9782225819674
Livré entre : 24 juillet - 27 juillet
Disponible chez le fournisseur
Impression à la demande
Expédition immédiate
Chez vous entre :
Les délais de livraison ont tendance à s'accélérer ces dernières semaines, le temps indiqué peut être plus court que prévu. Les délais de livraison ont tendance à s'allonger ces dernières semaines, le temps indiqué peut être plus long que prévu.
Livraison gratuite (FR et BE) à partir de 20,00 € de livres d'occasion
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés