Normal view MARC view ISBD view

Program construction : calculating implementations from specifications

Material type: materialTypeLabel

BookPublisher: Harlow: John Wiley & Sons, 2003Description: xii, 340 p.; : 24 cm.ISBN: 9780470848821 .Subject(s): Computer programming | Calculational Logic | Sequential Composition | Number ConversionDDC classification: 005.1

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.1 BAC (Browse shelf)	Available		011249

Previous								Next
Previous	005.1 BAA Computer algorithms : introduction to design and analysis	005.1 BAA Computer algorithms : introduction to design and analysis	005.1 BAA Computer algorithms : introduction to design and analysis	005.1 BAC Program construction : calculating implementations from specifications	005.1 BAL Programming in ANSI C	005.1 BAL Programming in ANSI C	005.1 BAL Programming in ANSI C	Next

There are no comments for this item.

Koha online