Épuisé, mais très demandé!

Vous l'avez dans votre bibliothèque ?Gagnez de l'argent entre 2,05 € et 3,28 € en vendant ce livre.

Lecture Notes in Computer Science

Auteurs

B.T. Hailpern

Enregistrer

Paramètres

Informatique & Internet

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
Reliure: (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
Catégories: Nonfiction Technologie & Ingénierie Informatique & Internet
Mots clés
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.