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

By:

Apt, Krzysztof R, 1949-

Contributor(s):

Material type: Text

TextSeries: 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):

Computer software -- Verification

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.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Books	Library, Institute of Information and Communication Technology General Stacks	005.14 APV (Browse shelf(Opens below))	1	Available		I000475
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.