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
Verlag: Prentice Hall, 1996

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Prentice Hall
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0134606434
ISBN 13 
9780134606439
Einband
Lehrbuch
Anzahl der Seiten
368
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Deutschland