Coverart for item
The Resource The temporal logic of reactive and concurrent systems, Zohar Manna, Amir Pnueli

The temporal logic of reactive and concurrent systems, Zohar Manna, Amir Pnueli

Label
The temporal logic of reactive and concurrent systems
Title
The temporal logic of reactive and concurrent systems
Statement of responsibility
Zohar Manna, Amir Pnueli
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Manna, Zohar
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1941-2009
http://library.link/vocab/relatedWorkOrContributorName
Pnueli, Amir
http://library.link/vocab/subjectName
  • Computer programming
  • Logic, Symbolic and mathematical
Label
The temporal logic of reactive and concurrent systems, Zohar Manna, Amir Pnueli
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
v. 1. Specification
Control code
24247846
Dimensions
24 cm
Extent
volumes
Isbn
9780387976648
Isbn Type
(v. 1)
Lccn
91028181
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1412150
Label
The temporal logic of reactive and concurrent systems, Zohar Manna, Amir Pnueli
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
v. 1. Specification
Control code
24247846
Dimensions
24 cm
Extent
volumes
Isbn
9780387976648
Isbn Type
(v. 1)
Lccn
91028181
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1412150

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...