Research Catalog

Computer-aided verification of coordinating processes : the automata-theoretic approach

Title
Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan.
Author
Kurshan, R. P., 1943-
Publication
Princeton, N.J. : Princeton University Press, c1994.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/textRequest in advance JSE 95-764Offsite

Details

Description
xii, 270 p.; 24 cm.
Subject
  • Manufacturing processes > Planning > Data processing
  • Computational complexity
  • Expert systems (Computer science) > Verification
  • System design
Bibliography (note)
  • Includes bibliographical references (p. 241-262) and index.
Call Number
JSE 95-764
ISBN
0691034362
LCCN
94042672
OCLC
31607379
Author
Kurshan, R. P., 1943-
Title
Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan.
Imprint
Princeton, N.J. : Princeton University Press, c1994.
Bibliography
Includes bibliographical references (p. 241-262) and index.
Research Call Number
JSE 95-764
View in Legacy Catalog