Verification of Sequential and Concurrent Programs (Texts in Computer Science) Book PDF, ePub eBook

Join our eBook service for unlimited books & audiobooks. Get a free 7 day subscription! ↓↓↓↓↓


Book Descriptions:
Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verification using an assertional approach - so named because it relies on the use of assertions that are attached to program control points. 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. The use of these proof systems is demonstrated with the help of case studies. In particular solutions to classical problems such as mutual exclusion are formally verified. Each chapter concludes with exercises and bibliographic remarks for further reading. As a result, this text will be appropriate for either an introductory course on program verification for upper division of undergraduate studies or for graduate studies. It can also be used as an introduction to operational semantics. Outlines of possible courses are presented in the preface of the book.

Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Krzysztof R. Apt, Ernst-Rüdiger Olderog

From reader reviews:

Melanie Tuck:

As people who live in the actual modest era should be change about what going on or details even knowledge to make these keep up with the era which is always change and make progress. Some of you maybe can update themselves by examining books. It is a good choice in your case but the problems coming to an individual is you don't know which you should start with. This Verification of Sequential and Concurrent Programs (Texts in Computer Science) is our recommendation so you keep up with the world. Why, as this book serves what you want and want in this era.

John Krumm:

This book untitled Verification of Sequential and Concurrent Programs (Texts in Computer Science) to be one of several books which best seller in this year, this is because when you read this publication you can get a lot of benefit on it. You will easily to buy this kind of book in the book shop or you can order it by using online. The publisher of the book sells the e-book too. It makes you more readily to read this book, because you can read this book in your Smartphone. So there is no reason to your account to past this reserve from your list.

Joyce Burke:

Are you kind of stressful person, only have 10 or maybe 15 minute in your day to upgrading your mind skill or thinking skill also analytical thinking? Then you are experiencing problem with the book in comparison with can satisfy your short time to read it because this all time you only find publication that need more time to be read. Verification of Sequential and Concurrent Programs (Texts in Computer Science) can be your answer mainly because it can be read by anyone who have those short time problems.

Stacey Pinkston:

Reading a publication make you to get more knowledge from this. You can take knowledge and information from your book. Book is created or printed or descriptive from each source that will filled update of news. With this modern era like at this point, many ways to get information are available for an individual. From media social such as newspaper, magazines, science e-book, encyclopedia, reference book, story and comic. You can add your understanding by that book. Are you ready to spend your spare time to spread out your book? Or just seeking the Verification of Sequential and Concurrent Programs (Texts in Computer Science) when you required it?