Reset Filters
CLC: I - 文学
Branch:
Circulation Type: General loan materials
Can I borrow online: Online

Cover is for reference only

Partial order methods in verification：DIMACS workshop, July 24-26, 1996

Saved in:
Bibliographic Details
Corporate Authors: DIMACS Group; Workshop on Partial Order Methods in Verification (1996 Princeton University)
Group Author: Peled Doron A 1962-; Pratt Vaughan R; Holzmann Gerard J
Published: American Mathematical Society,
Publisher Address: Providence, R.I.
Publication Dates: c1997.
Literature type: Book
Language: English
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 29
Subjects:
Electronic data processing > Distributed processing > Congresses
Computer software > Verification > Congresses
Carrier Form: xiv, 403 p.: ill. ; 26 cm.
ISBN: 0821805797
Index Number: TP301
CLC: TP301-532
Call Number: TP301-532/P273/1996/
Contents: "Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.
Includes bibliographical references.

Related Book Recommendations