shopping cart
Call us: 800-878-7323 HELP
McAfee SECURE helps keep you safe from identity theft, credit card fraud, spyware, spam, viruses and online scams.
Interviews | July 4, 2009

All posts by Jill Owens Powells.com Interview: Luis Alberto Urrea

2 comments By Jill Owens

Luis Alberto Urrea is a poet, novelist, journalist, and essayist who has been writing about the relationship between the United States and Mexico,... Continue »

  1. $17.49 Sale Hardcover add to wish list

    Into the Beautiful North

    Luis Alberto Urrea

On Order

$147.50
HARDCOVER, NEW
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Software Engineering- Programming and Languages
Click here to hide store locations


Used Book Alert Receive an email when this ISBN is available used.

Other titles in the Graduate Texts in Computer Science series:

  1. A Recursive Introduction to the Theory of Computation
  2. Deduction Systems
  3. Descriptive Complexity
  4. Introduction To Kolmogorov Complexity & Its 2ND Edition
  5. Logic for Applications (2ND 97 Edition)
  6. On Concurrent Programming
  7. Refinement Calculus: A Systematic Introduction
  8. Specification of Software Systems

Verification of Sequential and Concurrent Programs (Graduate Texts in Computer Science)

by Krzysztof Apt

Verification of Sequential and Concurrent Programs (Graduate Texts in Computer Science) Cover

Synopses & Reviews

Publisher Comments:

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.

Description:

Includes bibliographical references (p. [343]-352) and indexes.
back to top

Table of Contents

From the contents: Preface.- Introduction.- Preliminaries.- Deterministic Programs.- Disjoint parallel programs.- Parallel programs with shared variables.- Parallel programs with synchronization.- Nondeterministic programs.- Distributed programs.- Fairness.- Appendices.- References.

back to top
back to top

Product Details

ISBN:
9780387948966
With:
Olderog, E.
Author:
Olderog, E.
Author:
Apt, Krzysztof
Author:
Apt, K. R.
Author:
Olderog, Ernst R.
Publisher:
Springer
Location:
New York :
Subject:
Programming Languages - General
Subject:
Programming - General
Subject:
Programming - Software Development
Subject:
Computer software
Subject:
Verification
Subject:
Validation
Subject:
Computer software -- Verification.
Subject:
Software Development & Engineering - General
Edition Number:
2
Edition Description:
1997. Corr. 4th
Series:
Graduate Texts in Computer Science
Series Volume:
104-3
Publication Date:
May 1997
Binding:
Hardcover
Language:
English
Illustrations:
Yes
Pages:
364
Dimensions:
9.48x6.45x1.09 in. 1.52 lbs.
back to top

Other books you might like

  1. $39.95 Used Hardcover add to wish list

    Introduction To Algorithms 2ND Edition

    Thomas H Cormen
  2. $14.00 Used Hardcover add to wish list

    Science of Programming

    David Gries
  3. $77.50 New Hardcover add to wish list

    Object-Oriented Analysis and Design with Applications, 2nd Edition

    Grady Booch
  4. $157.75 New Trade Paper add to wish list

    Microwave Transistor Amplifiers Anal 2ND Edition

    Guillermo Gonzalez
  5. $94.25 New Hardcover add to wish list

    Cambridge Tracts in Theoretical Computer Science #0031: Higher Order Logic and Hardware Verification

    T. F. Melham
  6. $104.25 New Hardcover add to wish list

    The Complexity Theory Companion (Texts in Theoretical Computer Science)

    Lane A. Hemaspaandra
back to top

Related Aisles

  • back to top

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.