Normal view MARC view ISBD view

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

By:

Contributor(s):

Material type: Text

TextSeries: Informatik-Fachberichte ; V. 36Publication details: Berlin Springer-Verlag 1980Description: iv,388Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	001.642 Us2 (Browse shelf(Opens below))	Link to resource	Available		A67413

Total holds: 0

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	No cover image available	Next
Previous	001.642 Uh7 PATTERN RECOGNITION, LEARNING AND THOUGHT	001.642 Uh7 PATTERN RECOGNITION, LEARNING AND THOUGHT	001.642 Un2 UNDERSTANDING SPOKEN LANGUAGE	001.642 Us2 USE OF FORMAL SPECIFICATION OF SOFTWARE, JUNE 25-27, 1979, BERLIN	001.642 V368 PROGRAM STYLE, DESIGN, EFFICIENCY, DEBUGGING AND TESTING	001.642 V368 PROGRAM STYLE, DESIGN, EFFICIENCY, DEBUGGING AND TESTING	001.642 V663d DYNAMIC RESOURCE ALLOCATION IN DISTRIBUTED COMPUTING SYSTEMS	Next

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.

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