Proceedings of the ACM SIGSOFT-International Workshop on Formal Methods in Software Development (Record no. 4451)

MARC details
000 -LEADER
fixed length control field 00506nam a2200145Ia 4500
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1 MOR-P R
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Mark Moriconi (Ed)
245 ## - TITLE STATEMENT
Title Proceedings of the ACM SIGSOFT-International Workshop on Formal Methods in Software Development
250 ## - EDITION STATEMENT
Edition statement 0
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher ACM Press
Year of publication 1990
300 ## - PHYSICAL DESCRIPTION
Number of Pages 0
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Proceedings of the ACM SIGSOFT-International Workshop on Formal Methods in Software Development Mark Moriconi (Ed)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Reference
Holdings
Withdrawn status Lost status Home library Current library Shelving location Date acquired Cost, normal purchase price Full call number Accession Number Koha item type
    library@mck library@mck P18 27/09/2001 0.00 005.1 MOR-P R 4495 Reference

Powered by Koha