University of Zambia Library

Your cart is empty.

University of Zambia Logo University Of Zambia Online Public Access Catalogue

Normal view MARC view ISBD view

Rigorous software development : an introduction to program verification / José Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto and Simao Melo de Sousa

Contributor(s): Almeida, José Bacelar [editor] | Frade, Maria João [editor] | Pinto, Jorge Sousa [editor] | Sousa, Simão Melo de [editor].
Material type: materialTypeLabelBookPublisher: London : Springer, 2011Description: xii, 263 pages : Illustrations.ISBN: 9780857290175.Subject(s): Computer software -- Verification | Computer software -- DevelopmentOnline resources: Click here to access online | Click here to access online | Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Copy number Status Date due Barcode
Book Book Main Library
On Shelf 		QA 76.76.V47 RIG 2011 (Browse shelf) 1 Available 33729001640502

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.
Close