Welcome to Central Library, SUST
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Verification of sequential and concurrent programs / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog

By: Contributor(s): Material type: TextTextSeries: Texts in computer sciencePublication details: London ; New York : Springer, c2009.Edition: 3rd extended edDescription: xxiii, 502 p. : ill. ; 25 cmISBN:
  • 9781848827448 (hbk.)
  • 184882744X (hbk.)
Subject(s): DDC classification:
  • 005.14 22 APV
Summary: This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Library, Institute of Information and Communication Technology General Stacks 005.14 APV (Browse shelf(Opens below)) 1 Available I000475
Books Books Library, Institute of Information and Communication Technology General Stacks 005.14 APV (Browse shelf(Opens below)) 2 Available I000474

Includes bibliographical references and indexes.

This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs.

There are no comments on this title.

to post a comment.