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
1905209347
Formal methods (Computer Science) Computer software - spacifications.
004.0151 / S61S