Program development by specification and transformation : the PROSPECTRA methodology, language family, and system /

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system /

में बचाया:
ग्रंथसूची विवरण
अन्य लेखक: Krieg-Brückner, B. (Bernd), Hoffmann, Berthold, 1953-
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Berlin ; New York : Springer-Verlag, c1993.
श्रृंखला:Lecture notes in computer science ; 680.
विषय:
Computer software > Development.
विवरण
भौतिक वर्णन:xiv, 623 p. : ill. ; 24 cm.
ग्रन्थसूची:Includes bibliographical references (p. [589]-612) and indexes.
आईएसबीएन:354056733X
038756733X

समान संसाधन