Normal view MARC view ISBD view

PROGRAM verification: fundamental issues in computer science / edited by Timothy R.Colburn, James H.Fetzer, Terry L.Rankin

Publisher: Dordrecht Kluwer Academic Pub. 1993Description: xiii, 457 p.ISBN: 792319656.Subject(s): Computer programmingDDC classification: 5.1

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	Collection	Call number	Status	Date due	Barcode
Books in Stacks (S)	Main Library	S	005.1 PRO (Browse shelf)	Available		135478

Previous		No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	005.1 MAR User-Centered requirements analysis	005.1 NOR The Peter Norton programmer's guide to the IBM PC: the ultimate reference guide to the entire family of IBM personal com /	005.1 PRE Software engineering: a practitioner's approach /	005.1 PRO PROGRAM verification: fundamental issues in computer science /	005.1 SCH Classical and object-oriented software engineering: with UML and C++ /	005.1 SOM Software engineering /	005.1 SOM Software Engineering	Next

Includes references, bibliography and index.

There are no comments for this item.

UOJ Online