Articles liés à Semantics of Sequential and Parallel Programs

Semantics of Sequential and Parallel Programs - Couverture rigide

Best

 
9780134606439: Semantics of Sequential and Parallel Programs
Couverture rigide
ISBN 10 : 0134606434 ISBN 13 : 9780134606439
Editeur : Prentice Hall, 1996

Synopsis

This book present formal semantics of sequential and parallel programs and emphasis formal relationships between different mathematical description techniquesl Providing a self-contained introduction to all the necessary mathematics, proofs are presented in a readable form which will appeal to the novice. It contains an in-depth study of the most-well-known and widely-used methods for achieving correctness in program design and presents all technical results at an adequate and easy to learn level. Case studies and exercises (some of them with solutions) help illustrate results.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This book present formal semantics of sequential and parallel programs and emphasis formal relationships between different mathematical description techniquesl Providing a self-contained introduction to all the necessary mathematics, proofs are presented in a readable form which will appeal to the novice. It contains an in-depth study of the most-well-known and widely-used methods for achieving correctness in program design and presents all technical results at an adequate and easy to learn level. Case studies and exercises (some of them with solutions) help illustrate results.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Prentice Hall
Date d'édition
1996
Langue
anglais
ISBN 10 
0134606434
ISBN 13 
9780134606439
Reliure
Relié
Nombre de pages
368
Coordonnées du fabricant
non disponible
Personne responsable
non disponible