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

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

Saved in:

Bibliographic Details
Author / Creator:	Kurshan, R. P., 1943-
Imprint:	Princeton, N.J. : Princeton University Press, c1994.
Description:	xii, 270 p. ; 24 cm.
Language:	English
Subject:	Manufacturing processes -- Planning -- Data processing. Computational complexity. Expert systems (Computer science) -- Verification. System design. Computational complexity. Expert systems (Computer science) -- Verification. Manufacturing processes -- Planning -- Data processing. System design.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/1705774

Hidden Bibliographic Details
ISBN:	0691034362
Notes:	Includes bibliographical references (p. 241-262) and index.

Regenstein, Bookstacks

Loading map link

Holdings details from Regenstein, Bookstacks
Call Number:	TS183.3.K870 1994
c.1	Available Loan period: standard loan Scan and Deliver Request for Pickup Need help? - Ask a Librarian