Normal view MARC view ISBD view

Systematic software development using VDM / Cliff B. Jones.

By:

Material type: Text

Subject(s):

DDC classification:

LOC classification:

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	Tan Tao University General Stacks	Reference	005.1 (Browse shelf(Opens below))	Available		F-2024-0031

Previous								Next
Previous	005.1 Grokking algorithms : an illustrated guide for programmers and other curious people /	005.1 Design and analysis of algorithms /	005.1 Object-oriented programming : an evolutionary approach /	005.1 Systematic software development using VDM /	005.1015113 A programming approach to formal methods /	005.11 Ajax design patterns /	005.114 A practical course in functional programming using ML /	Next

Includes index.

Bibliography: p. 294-296.

There are no comments on this title.

to post a comment.