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

Sábháilte in:
Sonraí bibleagrafaíochta
Údair chorparáideacha: Workshop on Formal Methods in Software Practice Clearwater Beach, Fla., ACM Sigsoft
Rannpháirtithe: Ardis, Mark A. (Mark Alan), 1949-
Formáid: Imeacht comhdhála LEABHAR
Teanga:English
Foilsithe / Cruthaithe: New York : Association for Computing Machinery, c1998.
Ábhair:
Cur síos
Cur síos ar an mír:Includes index.
"Co-located with ISSTA'98, sponsored by ACM SIGSOFT"
Cur síos fisiciúil:v, 109 p. : ill. ; 28 cm.
Also available online via the World Wide Web.
Leabharliosta:Includes bibliographical references.
ISBN:0897919548