Formal methods and software development : colloquium on software engineering : proceedings

By:

Material type: Text

TextLanguage: English Series: Lecture notes in computer science, 186Publication details: Berlin Springer Verlag 1985Description: V 2ISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata 4th Floor	5.3 In61T (Browse shelf(Opens below))	Available		106368

Total holds: 0

Previous								Next
Previous	5.3 In61(91) TAPSOFT ' 91 : proceedings	5.3 In61(92) Mathematics of program construction : proceedings	5.3 In61T Mathematical foundations of software development : colloquium on trees in algebra and programming : proceedings	5.3 In61T Formal methods and software development : colloquium on software engineering : proceedings	5.3 In61T Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming : proceedings	5.3 In61T Advanced seminar on foundations of innovative software development II and colloquium on functional and logic prog & specifications : proceedings	5.3 In61T Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming : proceedings	Next

There are no comments on this title.

to post a comment.