The Resource Fault tolerance in concurrent systems through formal methods, by Hanan Lutfiyya

Fault tolerance in concurrent systems through formal methods, by Hanan Lutfiyya

Label
Fault tolerance in concurrent systems through formal methods
Title
Fault tolerance in concurrent systems through formal methods
Statement of responsibility
by Hanan Lutfiyya
Creator
Language
eng
Related
Cataloging source
UMR
http://library.link/vocab/creatorName
Lutfiyya, Hanan
Degree
Ph. D.
Dissertation year
1992.
Granting institution
University of Missouri--Rolla
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
Label
Fault tolerance in concurrent systems through formal methods, by Hanan Lutfiyya
Instantiates
Publication
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier.
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent.
Control code
27757545
Extent
xi, 134 pages
Media category
unmediated
Media MARC source
rdamedia.
Media type code
  • n
Other physical details
illustrations.
Label
Fault tolerance in concurrent systems through formal methods, by Hanan Lutfiyya
Publication
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier.
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent.
Control code
27757545
Extent
xi, 134 pages
Media category
unmediated
Media MARC source
rdamedia.
Media type code
  • n
Other physical details
illustrations.

Library Locations

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