The foundations of program verification / Loeckx Jacques and Kurt Sieber

By:

Contributor(s):

Series: (Wiley Teubner series in Computer Science)Publication details: Stuttgart : B.G. Teubner 1987Edition: 2nd edDescription: ix, 227p. : ill. ; 23 cmISBN:

Subject(s):

DDC classification:

Contents:

Table of contents only.

Item type:

Book

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Current library	Call number	Status	Barcode
Archbishop Kiwanuka Memorial Library	005.14 LOE (Browse shelf(Opens below))	Available	6698

Includes bibliographical references and index

Table of contents only.

There are no comments on this title.

to post a comment.