Return to search

Formal specification techniques for engineering modular C programs /

Zugl. Diss., MIT, 1994.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/610959356
Date January 1900
CreatorsTan, Yang Meng. Meng, Tan Yang.
PublisherBoston [etc.] : Kluwer Academic Publishers,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceAbstract / Index

Page generated in 0.002 seconds