Handbook of process algebra

Saved in:
Bibliographic Details
Group Author: Bergstra J. A.; Ponse A.; (Alban), 1955-; Smolka Scott A.
Published: Elsevier,
Publisher Address: Amsterdam New York
Publication Dates: 2001.
Literature type: Book
Language: English
Subjects:
Carrier Form: xiv, 1342 p.: ill. ; 25 cm.
ISBN: 0444828303 (alk. paper)
Index Number: O14
CLC: O14-62
TP301.1-62
Call Number: TP301.1-62/H236
Contents: Includes bibliographical references and indexes.