Coverart for item
The Resource Verifying temporal properties of systems, Julian Charles Bradfield

Verifying temporal properties of systems, Julian Charles Bradfield

Label
Verifying temporal properties of systems
Title
Verifying temporal properties of systems
Statement of responsibility
Julian Charles Bradfield
Creator
Subject
Language
eng
Cataloging source
DLC
Dewey number
511.3
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
B73 1992
Literary form
non fiction
Nature of contents
bibliography
Series statement
Progress in theoretical computer science
Label
Verifying temporal properties of systems, Julian Charles Bradfield
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. 105-109) and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
vi, 113 p.
Isbn
9783764336257
Isbn Type
(alk. paper)
Lccn
91039902
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (MARC)
  • (GOVTcat)
  • (OCoLC)ocn368628884
Label
Verifying temporal properties of systems, Julian Charles Bradfield
Publication
Bibliography note
Includes bibliographical references (p. 105-109) and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
vi, 113 p.
Isbn
9783764336257
Isbn Type
(alk. paper)
Lccn
91039902
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (MARC)
  • (GOVTcat)
  • (OCoLC)ocn368628884

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...