(An) introduction to formal specification with Z and VDM / Deri Sheppard.

By: Sheppard, DeriPublication details: McGraw-Hill 1995Subject(s): Z (Computer program language) | Computer software - DevelopmentLOC classification: QA76.73 | Z2She.
    Average rating: 0.0 (0 votes)
Item type Current library Call number Status Date due Barcode
Open Book Shelf Open Book Shelf FOUNDERS LIBRARY (S2)
New Materials Shelf
QA76.73 Z2She. (Browse shelf (Opens below)) Available Q001581

8750

There are no comments on this title.

to post a comment.

Copyright © 2024 HELP Learning Resource Centre. All Rights Reserved.

Powered by Koha