Coverart for item
The Resource FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings, José Nuno Oliveira, Pamela Zave (eds.), (electronic resource)

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings, José Nuno Oliveira, Pamela Zave (eds.), (electronic resource)

Label
FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
Title
FME 2001
Title remainder
formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
Statement of responsibility
José Nuno Oliveira, Pamela Zave (eds.)
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
Dewey number
005.1
LC call number
QA76.76.D47
LC item number
I593 2001
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
International Symposium of Formal Methods Europe
http://library.link/vocab/relatedWorkOrContributorDate
1948-
http://library.link/vocab/relatedWorkOrContributorName
  • Oliveira, José N
  • Zave, Pamela
Series statement
Lecture notes in computer science
Series volume
2021
http://library.link/vocab/subjectName
Computer software
Label
FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings, José Nuno Oliveira, Pamela Zave (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000323185
Dimensions
unknown
Isbn
9783540417910
Isbn Type
(softcover : alk. paper)
Lccn
2001020501
Specific material designation
remote
System control number
(WaSeSS)bookssj0000323185
Label
FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings, José Nuno Oliveira, Pamela Zave (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000323185
Dimensions
unknown
Isbn
9783540417910
Isbn Type
(softcover : alk. paper)
Lccn
2001020501
Specific material designation
remote
System control number
(WaSeSS)bookssj0000323185

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...