Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

USE OF FORMAL SPECIFICATION OF SOFTWARE, JUNE 25-27, 1979, BERLIN

By: Contributor(s): Material type: TextTextSeries: Informatik-Fachberichte ; V. 36Publication details: Berlin Springer-Verlag 1980Description: iv,388Subject(s): DDC classification:
  • 001.642 Us2
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 001.642 Us2 (Browse shelf(Opens below)) Link to resource Available A67413
Total holds: 0

Selected Contributions From A Seminar The Use Of Formal Specification Of Software And Firmware, Heinrich-Hertz-Institute, 1979

There are no comments on this title.

to post a comment.

Powered by Koha