Software specification methods

Software specification methods edited by Henri Habrias, Marc Frappier. - London ISTE 2006 - xxv, 418p.; 23cm.

1905209347


Formal methods (Computer Science) Computer software - spacifications.

004.0151 / S61S
HMS Central Library, Jamia Hamdard, Hamdard Nagar, New Delhi -110062, INDIA