Semantics Sequential Parallel Programs (Prentice Hall International Series in Computer Science)

Best

 
9780134606439: Semantics Sequential Parallel Programs (Prentice Hall International Series in Computer Science)
ISBN 10: 0134606434 ISBN 13: 9780134606439
Editorial: Prentice Hall, 1996

Sinopsis

Covers a range of sequential and parallel programming languages using a variety of mathematical description techniques. Chapters examine sequential nondeterministic programs, an operational view of relational semantics, definitions of Hoare's proof rule and Dijkstra's weakest preconditions, the data flow of sequential programs, the control flow of a variable-free language and alternative descriptions of the control flow, the relationships between partial order models and interleaving, a shared data language and a CSP language. Annotation c. by Book News, Inc., Portland, Or.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Prentice Hall
Año de publicación
1996
Idioma
Inglés
ISBN 10 
0134606434
ISBN 13 
9780134606439
Encuadernación
Libro de texto
Número de páginas
368
Contacto del fabricante
no disponible
Persona responsable
no disponible