कवर छवि

Applications of formal methods

ग्रंथसूची विवरण
अन्य लेखक: Hinchey, Michael G. (Michael Gerard) 1969-, Bowen, J. P. (Jonathan Peter) 1956-
स्वरूप: पुस्तक
प्रकाशित: London Prentice Hall 1995.
श्रृंखला:Prentice-Hall international series in computer science
विषय:
System design.
Computer software > Development.