Proceedings of FMSP'98 : the second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA /

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক: Workshop on Formal Methods in Software Practice Clearwater Beach, Fla., ACM Sigsoft
অন্যান্য লেখক: Ardis, Mark A. (Mark Alan), 1949-
বিন্যাস: কনফারেন্স প্রসিডিং গ্রন্থ
ভাষা:English
প্রকাশিত: New York : Association for Computing Machinery, c1998.
বিষয়গুলি:
বিবরন
উপাদানের বিবরণ:Includes index.
"Co-located with ISSTA'98, sponsored by ACM SIGSOFT"
দৈহিক বর্ননা:v, 109 p. : ill. ; 28 cm.
Also available online via the World Wide Web.
গ্রন্থ-পঞ্জী:Includes bibliographical references.
আইসবিএন:0897919548