Épuisé, mais très demandé!

Vous l'avez dans votre bibliothèque ?Gagnez de l'argent entre 0,68 € et 1,61 € en vendant ce livre.

Lecture Notes in Computer Science

Auteurs

B.T. Hailpern

Paramètres

En savoir plus sur le livre

This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.

Achat du livre

Lecture Notes in Computer Science, B.T. Hailpern

Langue
Année de publication: 1982
product-detail.submit-box.info.binding: (souple)

Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer

Détails de l'éditionSuggérer une correction

Titre: Lecture Notes in Computer Science
Langue: Anglais
Auteurs: B.T. Hailpern
Éditeur: Springer Science & Business Media
Publié: 1982
Format: souple
ISBN10: 3540112057
ISBN13: 9783540112051
Séries
Mots clés: Nonfiction, Technologie & Ingénierie, Informatique & Internet
Description: This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.