This book provides a structural introduction to program verification. Sequential programs in the form of deterministic and nondeterministic programs, and concurrent programs in the form of parallel and distributed programs, are considered within the context of their partial and total correctness. While other books have covered verification and semantics of sequential programs, this is the first book to address verification and semantics of structured concurrent programs. The book is appropriate for either a one- or two ...
Read More
This book provides a structural introduction to program verification. Sequential programs in the form of deterministic and nondeterministic programs, and concurrent programs in the form of parallel and distributed programs, are considered within the context of their partial and total correctness. While other books have covered verification and semantics of sequential programs, this is the first book to address verification and semantics of structured concurrent programs. The book is appropriate for either a one- or two-semester introductory course on program verification for upper division of undergraduate studies or graduate students. It can also be used as an introduction to operational semantics. Outlines of possible one-semester courses are presented in the preface of the book. Within these chapters, the authors systematically discuss five classes of programs, concentrating on operational semantics, syntax directed assertional proof systems, soundness proofs of the proof systems, program transformations, correctness proofs of the program transformations, and correctness proofs of a substantial example. Each chapter is developed in a systematic and easy-to-understand manner and closes with a list of exercises. The material presented here draws on work which until now was only available in the form of advanced research publications. A large portion of the material is entirely new. This book provides an introduction to the subject which also will lead to current research problems in the areas considered.
Read Less
Add this copy of Verification of Sequential and Concurrent Programs to cart. $38.50, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1991 by Springer-Verlag New York, Incorp.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Verification of Sequential and Concurrent Programs to cart. $53.49, good condition, Sold by BooksRun rated 5.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 1991 by Springer-Verlag New York, Incorporated.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $60.45, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1991 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $61.14, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1991 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $66.82, new condition, Sold by Media Smart rated 3.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1991 by Springer.
Add this copy of Verification of Sequential and Concurrent Programs to cart. $91.79, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1991 by Springer-Verlag New York, Inco.