Title Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan.

Publication Info.	Princeton, New Jersey : Princeton University Press, [1994]
	©1994

Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description	1 online resource (284 pages).
Physical Medium	polychrome
Description	text file
Series	Princeton series in computer science
	Princeton series in computer science.
Bibliography	Includes bibliographical references (pages 241-262) and index.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Manufacturing processes -- Planning -- Data processing.
	Manufacturing processes -- Planning -- Data processing.
	Manufacturing processes.
	Computational complexity.
	Computational complexity.
	Expert systems (Computer science) -- Verification.
	Expert systems (Computer science) -- Verification.
	System design.
	System design.
Genre/Form	Electronic books.
Other Form:	Print version: Kurshan, R.P. Computer-aided verification of coordinating processes : the automata-theoretic approach. Princeton, New Jersey : Princeton University Press, [1994] xii, 270 pages ; 24 cm. Princeton series in computer science 9780691606057 (DLC) 94042672
ISBN	9781400864041 (electronic book)
	1400864046 (electronic book)
	0691034362
	9780691606057