Formal specification and software development

By: Bjorner, DinesContributor(s): Jones, Cliff B | Language: English Series: Publication details: Englewood Cliffs ; : Prentice-Hall International, 19 ; Edition: Description: x,502 p; 23 cmISBN: 0-13-329003-41Subject(s): | Electronic digital computers-Programming | Programming Languages ( Electronic computers)
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
681.3.06 Bjo Available G55A04 143229
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha