Program construction : calculating implementations from specifications

By:

Material type: Text

TextPublication details: New York : Wiley, �2003.Description: xii, 340 pages : illustrations ; 23 cmContent type:

Media type:

Carrier type:

ISBN:

Subject(s):

DDC classification:

Online resources:

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	Collection	Call number	Status	Date due	Barcode
Books	Botho University Botswana Open Shelves	Information Technology	005.1 BAC (Browse shelf(Opens below))	Available		BU-lib19840
Books	Botho University Botswana Open Shelves	Information Technology	005.1 BAC (Browse shelf(Opens below))	Available		BU-lib19827

Previous								Next
Previous	005.1 ALE Codermetrics : analytics for improving software teams /	005.1 AND Android security essentials : course code: AND-402 version 5 : hands-on guide to Android security principles /	005.1 BAC Program construction : calculating implementations from specifications	005.1 BAC Program construction : calculating implementations from specifications	005.1 BAS Software architecture in practice /	005.1 BAS Software architecture in practice /	005.1 BAS Software architecture in practice /	Next

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.